ref: a300a75fc388120592e2abc1a6ca5ea00f38cf18
parent: 250673cd392b4f27c6b5a729440183f44041b3cb
author: qwx <qwx@sciops.net>
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