blob: 4a24a3e4999064dd93951ca944b16405b42e2504 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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"
|
