4 echo usage: window '''minx miny maxx maxy''' '''minx miny maxx maxy''' cmd args ...
10 if(mount $wsys /mnt/acid N`{{echo $pid $1 }| sed 's/^ //g;s/ +/,/g'}){
11 winid=`{cat /dev/winid}
12 echo transcript > /mnt/acid/label
13 echo transcript > /mnt/acid/cons
18 if(mount $wsys /mnt/wsys N`{{echo $pid $1 }| sed 's/^ //g;s/ +/,/g'}){
20 bind -b /mnt/wsys /dev
24 echo -n `{basename $1} > /dev/label >[2] /dev/null
26 echo hang > /proc/^`{cat /dev/ppid}^/ctl
27 $* < /dev/$winid/cons > /dev/$winid/cons >[2] /dev/$winid/cons &
30 ostatus = `{echo $status | sed 's/.*://'}
31 echo waitstop > /proc/$ostatus/ctl
32 echo nohang > /proc/$ostatus/ctl