no9 (272B) [raw]
1 #!/bin/sh 2 # no9 -- opposite of 9 (strip plan9 tools from path) 3 # 4 # helpful to spawn a shell with system tools for sharing with others 5 # 6 # % no9 bash -l 7 # $ which rc # empty 8 PATH=$(echo $PATH | sed -e "s@$PLAN9/bin@@g" -e 's/::/:/' -e 's/:$//') 9 export PATH 10 exec "$@"