From 47e0a2aa3c6e1ca2b8cd236b934f729fb721baba Mon Sep 17 00:00:00 2001 From: rsc Date: Sun, 17 Oct 2004 04:02:55 +0000 Subject: finally got these working --- "bin/\"" | 29 +++++++++++++++++++++++++++++ "bin/\"\"" | 10 ++++++++++ 2 files changed, 39 insertions(+) create mode 100755 "bin/\"" create mode 100755 "bin/\"\"" (limited to 'bin') 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 -- cgit v1.2.3