diff options
author | Arvindh Rajesh Tamilmani <art@a-30.net> | 2010-05-19 18:20:10 -0700 |
---|---|---|
committer | Russ Cox <rsc@swtch.com> | 2010-05-19 18:20:10 -0700 |
commit | 9fb7a4f7f7b78476d496cac2b83f9006acd7f483 (patch) | |
tree | a341b0199b78ef6032ea589247f3ca1b3d1a1248 /bin/"" | |
parent | 18ee9a80f1a2f0e95982a90e40fd052fdae1c2c9 (diff) | |
download | plan9port-9fb7a4f7f7b78476d496cac2b83f9006acd7f483.tar.gz plan9port-9fb7a4f7f7b78476d496cac2b83f9006acd7f483.tar.bz2 plan9port-9fb7a4f7f7b78476d496cac2b83f9006acd7f483.zip |
bin/", bin/"": simplify
R=rsc
CC=codebot
http://codereview.appspot.com/953047
Diffstat (limited to 'bin/""')
-rwxr-xr-x | bin/"" | 21 |
1 files changed, 6 insertions, 15 deletions
@@ -1,19 +1,10 @@ #!/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 +cmd = `{" $* | tail -1} +if (~ $#cmd 0) { + echo no such command found >[1=2] exit notfound } -rm /tmp/qq.$pid -exit 0 + +echo ' ' $cmd >[1=2] +rc -c $"cmd |