patch9/rio
changeset 1:0f5800109226 tip
Added the riows rc script to run several rios as workspaces
| author | yiyus@yiyus |
|---|---|
| date | Fri Jun 05 21:27:05 2009 -0500 (2009-06-05 ago) |
| parents | c337a821a29a |
| children | |
| files | riows |
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/riows Fri Jun 05 21:27:05 2009 -0500
1.3 @@ -0,0 +1,8 @@
1.4 +#!/bin/rc
1.5 +
1.6 +rio.b -I -i'\
1.7 +window -miny 32 ''rio -i ''''label 1''''''
1.8 +window -miny 32 ''rio -i ''''label 2''''''
1.9 +window -miny 32 ''rio -i ''''label 3''''''
1.10 +window -miny 32 ''rio -i ''''label 4''''''
1.11 +window -dy 40 ''winwatch -e ''''^(winwatch|stats|faces)'''''''
