Blame


1 2b85f70d 2005-01-11 devnull #!/usr/local/plan9/bin/rc
2 47e0a2aa 2004-10-17 devnull
3 8ce01b22 2006-10-12 devnull . 9.rc
4 8ce01b22 2006-10-12 devnull
5 47e0a2aa 2004-10-17 devnull fn text {
6 47e0a2aa 2004-10-17 devnull if(~ $winid [0-9]*)
7 47e0a2aa 2004-10-17 devnull 9p read acme/$winid/body
8 47e0a2aa 2004-10-17 devnull if not if(~ $text9term unix!*)
9 47e0a2aa 2004-10-17 devnull dial -e $text9term </dev/null
10 47e0a2aa 2004-10-17 devnull if not
11 47e0a2aa 2004-10-17 devnull status=''
12 47e0a2aa 2004-10-17 devnull }
13 47e0a2aa 2004-10-17 devnull
14 47e0a2aa 2004-10-17 devnull PROMPT='[^ ]*[%;$#][ ]+'
15 47e0a2aa 2004-10-17 devnull
16 47e0a2aa 2004-10-17 devnull fn cmds {
17 e87d96c2 2006-10-12 devnull text | sed -n 's/^'$PROMPT'([^"])/ \1/p'
18 47e0a2aa 2004-10-17 devnull }
19 47e0a2aa 2004-10-17 devnull
20 47e0a2aa 2004-10-17 devnull switch($#*) {
21 47e0a2aa 2004-10-17 devnull case 0
22 47e0a2aa 2004-10-17 devnull cmds | tail -1
23 47e0a2aa 2004-10-17 devnull case *
24 e87d96c2 2006-10-12 devnull cmds | grep '^ '^$"* | {echo; cat} |
25 47e0a2aa 2004-10-17 devnull pr -t -n | sort -nr | sort -u +1 | sort -n |
26 8ce01b22 2006-10-12 devnull sed 's/^ *[0-9]+ //' | grep .
27 47e0a2aa 2004-10-17 devnull }
28 47e0a2aa 2004-10-17 devnull
29 47e0a2aa 2004-10-17 devnull # the silly {echo; cat} gets around pr printing "empty file" when
30 47e0a2aa 2004-10-17 devnull # presented with no input.
31 47e0a2aa 2004-10-17 devnull