diff --git a/bin/9 b/bin/9 new file mode 100755 index 00000000..ff1a928d --- /dev/null +++ b/bin/9 @@ -0,0 +1,10 @@ +#!/bin/sh + +export PLAN9=/usr/local/plan9 +export PATH=$PLAN9/bin:$PATH + +case $# in +[1-9]*) + exec "$@" + ;; +esac