ref: ae0e2de6efe0764b3c24e69c183dd2380c4fd1fa
parent: ad83212cd0e26c68f769037fdf787b891a509ee3
author: Sigrid Haflínudóttir <[email protected]>
date: Mon Mar 30 12:27:06 EDT 2020
make sure env file doesn't exist before touch
--- a/riow
+++ b/riow
@@ -81,7 +81,7 @@
echo unhide >$f/wctl
}
# and remember it was hidden on the desktop we're still on
- if(~ $windesk $curdesktop)
+ if(~ $windesk $curdesktop && ! test -f /env/winhidden_^$winid)
touch /env/winhidden_^$winid
}
}