diff options
author | root <root@pigstarter.de> | 2013-11-05 13:24:42 +0100 |
---|---|---|
committer | root <root@pigstarter.de> | 2013-11-05 13:24:42 +0100 |
commit | 5e326f51c58e500285ea3daee91986ee1ea518eb (patch) | |
tree | 2b3eccf15e10e4331dcb2d01c9f53620d749f55f /sandbox/cobra/index.sh | |
parent | ae627d2aa73ea6862af3985f1c07e95c6d493275 (diff) |
sandbox -> .graveyard
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 |