1 files changed, 13 insertions, 0 deletions

diff --git a/9 b/9
new file mode 100644
index 000000000000..4032398039b8
--- /dev/null
+++ b/9
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+P9BASE=${P9BASE:-/opt/9base}
+export P9BASE
+
+case "$PATH" in
+    $P9BASE/bin:*) ;;
+    *) export PATH=$P9BASE/bin:$PATH ;;
+esac
+
+if [ $# -gt 0 ]; then
+    exec "$@"
+fi