diff --git "a/bin/\"" "b/bin/\"" new file mode 100755 index 00000000..d7f7ad23 --- /dev/null +++ "b/bin/\"" @@ -0,0 +1,29 @@ +#!/usr/local/plan9/bin/rc + +fn text { + if(~ $winid [0-9]*) + 9p read acme/$winid/body + if not if(~ $text9term unix!*) + dial -e $text9term {wc -l >/tmp/qq.$pid} | tee /dev/stderr | 9sed 's/^ '$PROMPT'//' | rc +if(~ `{cat /tmp/qq.$pid} 0){ + echo no such command found + exit notfound +} +exit 0