1 #!/bin/sh 2 3 case "$PLAN9" in 4 '') 5 ;; 6 *) 7 PATH=` 8 echo "$PATH" | 9 sed ' 10 s,'$PLAN9/bin:',,g 11 s,':$PLAN9/bin',,g 12 ' 13 ` 14 PATH="$PATH:$PLAN9/bin" 15 export PATH 16 ;; 17 esac 18 19 case $# in 20 [1-9]*) 21 exec "$@" 22 ;; 23 esac