ref: 1d039d6c0478743045e954522c65d549cd65791e
parent: f5ad0ff02ba05f2f5e0926b85668968fbebeb721
author: Sigrid Solveig Haflínudóttir <ftrvxmtrx@gmail.com>
date: Mon Mar 1 06:53:14 EST 2021
clear: remove "" as well
--- a/clear
+++ b/clear
@@ -3,7 +3,7 @@
# leaving only the command prompts
grep `{echo -n '^'^$prompt(1)} </dev/text | \
- grep -v '^'^$prompt(1)^clear | \
+ grep -v '^'^$prompt(1)^'(clear|"")' | \
uniq >/tmp/clearing.$pid
cp /tmp/clearing.$pid /dev/text