ref: 3418e498f2a4c0e763bbe9d2191b646c6bde5d4d
parent: 1bb450e8f72de8fa90cc298bf993e04551a03c05
author: kvik <kvik@a-b.xyz>
date: Sun Sep 13 11:13:50 EDT 2020
pin: erase user input in current shell This prevents duplicate display of what was written in the current session.
--- a/rc/pin
+++ b/rc/pin
@@ -57,6 +57,8 @@
case q
term; exit
case *
+ walk -es /env/buf | awk '
+ {for(i = 0; i < $1; i++) printf "%c", 8}' >/dev/cons
cat /env/buf
}}
}