diff options
Diffstat (limited to 'sandbox/cobra/index.sh')
-rwxr-xr-x | sandbox/cobra/index.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/sandbox/cobra/index.sh b/sandbox/cobra/index.sh deleted file mode 100755 index 1118a823..00000000 --- a/sandbox/cobra/index.sh +++ /dev/null @@ -1,16 +0,0 @@ -#! /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 |