1 files changed, 16 insertions, 0 deletions
diff --git a/.graveyard/cobra/index.sh b/.graveyard/cobra/index.sh
new file mode 100755
index 00000000..1118a823
--- /dev/null
+++ b/.graveyard/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