1 2b85f70d 2005-01-11 devnull #!/usr/local/plan9/bin/rc
 2 47e0a2aa 2004-10-17 devnull 
 3 47e0a2aa 2004-10-17 devnull PROMPT='[^ 	]*[%;$#][ 	]+'
 4 47e0a2aa 2004-10-17 devnull 
 5 e9a569a9 2005-01-04 devnull " $* | 
 6 e9a569a9 2005-01-04 devnull 	grep -v '^'$PROMPT'""' | 
 7 e9a569a9 2005-01-04 devnull 	tail -1 | 
 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'//' | 
11 e9a569a9 2005-01-04 devnull 	rc
12 e9a569a9 2005-01-04 devnull 
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
17 47e0a2aa 2004-10-17 devnull }
18 e9a569a9 2005-01-04 devnull rm /tmp/qq.$pid
19 47e0a2aa 2004-10-17 devnull exit 0