ref: a300a75fc388120592e2abc1a6ca5ea00f38cf18
parent: 250673cd392b4f27c6b5a729440183f44041b3cb
author: qwx <[email protected]>
date: Sun Dec 6 13:32:07 EST 2020
add workspace: set up usual workspaces assigned to riow desktop by unhiding them manually, anything else would require modification. sizes script has been called prior to this (riostart). a lot of attempts with rio -k, some with combining with rio -i, but it all sucks. rio -k isn't for this (what the fuck is it for?) and will produce unexpected results. setting labels for subrios sucks too. everything sucks. example work scripts (please excuse the webshit): ; cat lib/work/work rfork ne . /tmp/sizes sshfs -r mbioinf/m2/proj/d3graph tcp!192.168.1.21!17060 || exit cd /n/ssh unmount /mnt/plumb plumber f=(notes ts/* main.py templates/*.html static/style.css) cat <<! >/tmp/work.$pid window -r $bcmdrect -scroll window -r $bsamrect sam -a $f ! chmod +x /tmp/work.$pid rio -i /tmp/work.$pid rm /tmp/work.$pid ; cat lib/work/music rfork ne . /tmp/sizes cat <<! >/tmp/work.$pid audio/mixfs unmount /mnt/plumb plumber window -r $bcmdrect -scroll window -r $zukerect 'label zuke; rc' window piano32 ! chmod +x /tmp/work.$pid rio -i /tmp/work.$pid rm /tmp/work.$pid
--- /dev/null
+++ b/workspace
@@ -1,0 +1,12 @@
+#!/bin/rc
+if(! test -d $home/lib/work){+ echo no work files
+ exit 'no work nor worry'
+}
+. /tmp/sizes
+for(i in $home/lib/work/*){+ window -hide -r $briorect $i
+ sleep 2
+ last=`{cd /dev/wsys; ls | sort -n | tail -1}+ echo -n `{basename $i} >/dev/wsys/$last/label+}