From 47e0a2aa3c6e1ca2b8cd236b934f729fb721baba Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Sun, 17 Oct 2004 04:02:55 +0000
Subject: finally got these working

---
 "bin/\"\"" | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 "bin/\"\""

(limited to 'bin/""')

diff --git "a/bin/\"\"" "b/bin/\"\""
new file mode 100755
index 00000000..2b1f7444
--- /dev/null
+++ "b/bin/\"\""
@@ -0,0 +1,10 @@
+#!/usr/local/plan9/bin/rc
+
+PROMPT='[^ 	]*[%;$#][ 	]+'
+
+" $* | tail -1 | tee >{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