diff options
Diffstat (limited to 'community/9base/9')
-rw-r--r-- | community/9base/9 | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/community/9base/9 b/community/9base/9 deleted file mode 100644 index de6a2d070..000000000 --- a/community/9base/9 +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -PLAN9=${PLAN9:-/opt/plan9} -export PLAN9 - -case "$PATH" in - $PLAN9/bin:*) ;; - *) export PATH=$PLAN9/bin:$PATH ;; -esac - -if [ $# -gt 0 ]; then - exec "$@" -fi |