From 2b85f70db0d42f72fc532de906494fa173efa834 Mon Sep 17 00:00:00 2001 From: rsc Date: Tue, 11 Jan 2005 20:58:13 +0000 Subject: change scripts back to /usr/local/plan9/bin/rc. sigh. man replaces 9man --- "bin/\"" | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'bin/"') diff --git "a/bin/\"" "b/bin/\"" index da94c3e2..c1571d77 100755 --- "a/bin/\"" +++ "b/bin/\"" @@ -1,4 +1,4 @@ -#!/usr/bin/env $PLAN9/bin/rc +#!/usr/local/plan9/bin/rc fn text { if(~ $winid [0-9]*) @@ -12,16 +12,16 @@ fn text { PROMPT='[^ ]*[%;$#][ ]+' fn cmds { - text | 9grep '^'$PROMPT'[^"]' | sed 's/^/ /' + text | 9 grep '^'$PROMPT'[^"]' | sed 's/^/ /' } switch($#*) { case 0 cmds | tail -1 case * - cmds | 9grep '^ '$PROMPT^$"* | {echo; cat} | + cmds | 9 grep '^ '$PROMPT^$"* | {echo; cat} | pr -t -n | sort -nr | sort -u +1 | sort -n | - 9sed 's/^ *[0-9]+ //' | grep . + 9 sed 's/^ *[0-9]+ //' | grep . } # the silly {echo; cat} gets around pr printing "empty file" when -- cgit v1.2.3