diff options
Diffstat (limited to 'rc/bin/"')
| -rw-r--r-- | rc/bin/" | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/rc/bin/" b/rc/bin/" new file mode 100644 index 000000000..56bdaba77 --- /dev/null +++ b/rc/bin/" @@ -0,0 +1,25 @@ +#!/bin/rc + +rfork en + +if(test -r /mnt/acme/acme/body) + bind /mnt/acme/acme/body /dev/text + +PROMPT='[^ ]*%[ ]+' + +fn cmds { + grep '^'$PROMPT'[^"]' /dev/text | sed 's/^/ /' +} + +switch($#*) { +case 0 + cmds | tail -1 +case * + cmds | grep '^ '$PROMPT^$"* | {echo; cat} | + pr -t -n | sort -nr | sort -u +1 | sort -n | + sed 's/^ *[0-9]+ //' | grep . +} + +# the silly {echo; cat} gets around pr printing "empty file" when +# presented with no input. + |
