diff options
Diffstat (limited to 'cobra/index.sh')
-rwxr-xr-x | cobra/index.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/cobra/index.sh b/cobra/index.sh new file mode 100755 index 00000000..1118a823 --- /dev/null +++ b/cobra/index.sh @@ -0,0 +1,16 @@ +#! /bin/sh +set -euf +trap "echo 'You are made of stupid!' >&2; exit 23" EXIT + +COBRA_PATH="${COBRA_PATH-$PWD}" + +## main +for target; do + for path in $COBRA_PATH; do + if test -d "$path/$target"; then + if index="$path/$target/index.sh" && test -f "$index"; then + exec /bin/sh "$index" + fi + fi + done +done |