From a55fd95dd46584fa224fe25b248373c78bc65638 Mon Sep 17 00:00:00 2001
From: InigoGutierrez <inigogf.95@gmail.com>
Date: Fri, 13 Dec 2019 14:40:19 +0100
Subject: Created ides.sh: sets up dev. envs. (or selects a script to exec.
 from a specific folder)

---
 ides.sh | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 ides.sh

diff --git a/ides.sh b/ides.sh
new file mode 100755
index 0000000..4a24a3e
--- /dev/null
+++ b/ides.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+# ides.sh
+#
+# Usage: ides.sh
+#
+# Sets up a working environment (actually just selects from a list of scripts
+# in a specific folder and executes one of them)
+
+idesFolder="$HOME/.config/ides"
+files="$(find "$idesFolder" | grep '\.sh$')"
+names="$(echo "$files" | sed 's|^.*/||; s|\.sh$||')"
+selectedName="$(echo "$names" | fzf)" || exit 0
+selectedFile="$(echo "$files" | grep -E "${selectedName}(.sh)?$" )"
+
+"$selectedFile"
-- 
cgit v1.2.1