diff options
| author | root <root@rshg054.dnsready.net> | 2013-07-17 00:58:52 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-07-17 00:58:52 -0700 |
| commit | dee9f17b595ea903a982d31d1124b302bb17e2ff (patch) | |
| tree | 295fdab78e28e1952fbc13ce824d57c88ede4e3b /community/9base/9 | |
| parent | 380530d02a5449fdef97b63b394a6743c3de0092 (diff) | |
Wed Jul 17 00:58:51 PDT 2013
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 |