diff --git a/bin/u b/bin/u new file mode 100755 index 00000000..e1d51867 --- /dev/null +++ b/bin/u @@ -0,0 +1,23 @@ +#!/bin/sh + +case "$PLAN9" in +'') + ;; +*) + PATH=` + echo "$PATH" | + sed ' + s,'$PLAN9/bin:',,g + s,':$PLAN9/bin',,g + ' + ` + PATH="$PATH:$PLAN9/bin" + export PATH + ;; +esac + +case $# in +[1-9]*) + exec "$@" + ;; +esac