ref: 7daab6308be2a52987b760d4141ed79b3a31bdbd
parent: 3f053729c29e7ab55f625131503463a3f9732206
author: Sigrid Solveig Haflínudóttir <ftrvxmtrx@gmail.com>
date: Fri Feb 19 08:09:58 EST 2021
do not print out desktop number unless it changed
--- a/riow
+++ b/riow
@@ -197,8 +197,10 @@
fn work {
echo $curdesktop
while(s=`{read}){
+ olddesktop=$curdesktop
handle $s
- echo $curdesktop
+ if(! ~ $olddesktop $curdesktop)
+ echo $curdesktop
}
}