1 2b85f70d 2005-01-11 devnull #!/usr/local/plan9/bin/rc
3 47e0a2aa 2004-10-17 devnull PROMPT='[^ ]*[%;$#][ ]+'
6 e9a569a9 2005-01-04 devnull grep -v '^'$PROMPT'""' |
8 e9a569a9 2005-01-04 devnull tee >{wc -l >/tmp/qq.$pid} |
9 e9a569a9 2005-01-04 devnull tee /dev/stderr |
10 2b85f70d 2005-01-11 devnull 9 sed 's/^ '$PROMPT'//' |
13 47e0a2aa 2004-10-17 devnull if(~ `{cat /tmp/qq.$pid} 0){
14 e9a569a9 2005-01-04 devnull rm /tmp/qq.$pid
15 47e0a2aa 2004-10-17 devnull echo no such command found
16 47e0a2aa 2004-10-17 devnull exit notfound
18 e9a569a9 2005-01-04 devnull rm /tmp/qq.$pid