mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
2b85f70db0
man replaces 9man
19 lines
300 B
Bash
Executable file
19 lines
300 B
Bash
Executable file
#!/usr/local/plan9/bin/rc
|
|
|
|
PROMPT='[^ ]*[%;$#][ ]+'
|
|
|
|
" $* |
|
|
grep -v '^'$PROMPT'""' |
|
|
tail -1 |
|
|
tee >{wc -l >/tmp/qq.$pid} |
|
|
tee /dev/stderr |
|
|
9 sed 's/^ '$PROMPT'//' |
|
|
rc
|
|
|
|
if(~ `{cat /tmp/qq.$pid} 0){
|
|
rm /tmp/qq.$pid
|
|
echo no such command found
|
|
exit notfound
|
|
}
|
|
rm /tmp/qq.$pid
|
|
exit 0
|