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/\"" | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 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 </dev/null
+	if not
+		status=''
+}
+
+PROMPT='[^ 	]*[%;$#][ 	]+'
+
+fn cmds {
+	text | 9grep '^'$PROMPT'[^"]' | sed 's/^/	/'
+}
+
+switch($#*) {
+case 0
+	cmds | tail -1
+case *
+	cmds | 9grep '^	'$PROMPT^$"* | {echo; cat} |
+		pr -t -n | sort -nr | sort -u +1 | sort -n |
+		9sed 's/^ *[0-9]+	//' | grep .
+}
+
+# the silly {echo; cat} gets around pr printing "empty file" when
+# presented with no input.
+
-- 
cgit v1.2.3