ref: c82de412ffe0355f4b454d71b42aecd3108effe4
parent: 89647c0ea4464f090cf054d9a52ceb5d413c93f8
author: Sigrid Haflínudóttir <[email protected]>
date: Sun Mar 29 16:48:40 EDT 2020
temporary solution to show current desktop number
--- a/riow
+++ b/riow
@@ -2,7 +2,7 @@
rfork ne
# these are shown on every desktop
-sticky=(kbmap stats winwatch)
+sticky=(desktop kbmap stats winwatch)
alt=0
ctl=0
@@ -117,6 +117,12 @@
desktop $ukey
}
+scrsize
+
+echo $curdesktop > /tmp/desktop
+@{tail -f /tmp/desktop | aux/statusmsg -k -w `{echo $screenw-100|bc}^,`{echo $screenh-60|bc}^,$screenw^,$screenh desktop} &+
gkbd | while(s=`{read}){handle $s
-}
+ echo $curdesktop
+} >> /tmp/desktop