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