wmii

commit e4cf02d8f42d0fe378bc4ef144736f607195ef6d
parent e41895dda2c263f8c3453a124dc589a29625414c
Author: Kris Maglione <jg@suckless.org>
Date:   Fri, 23 Feb 2007 19:50:02 -0500

Have rc.wmii source rc.wmii.local to allow local changes with the stock rc.wmii.

Diffstat:
rc/rc.wmii
 | 
22
+++++++++++++---------

1 file changed, 13 insertions(+), 9 deletions(-)
diff --git a/rc/rc.wmii b/rc/rc.wmii
@@ -178,15 +178,6 @@ for(i in `{seq 0 9}) {
 	}
 }
 
-# WM Configuration
-wmiir write /ctl <<!
-grabmod $MODKEY
-border 2
-font $WMII_FONT
-focuscolors $WMII_FOCUSCOLORS
-normcolors $WMII_NORMCOLORS
-!
-
 # Functions
 fn proglist {
         /bin/ls -lL `{echo $* | tr : ' '} >[2]/dev/null |
@@ -216,6 +207,19 @@ fn run_command {
 	eval exec $* </dev/null
 }
 
+local = `{config_whatis rc.wmii.local}
+if(! ~ $#local 0)
+	. $local
+
+# WM Configuration
+wmiir write /ctl <<!
+grabmod $MODKEY
+border 2
+font $WMII_FONT
+focuscolors $WMII_FOCUSCOLORS
+normcolors $WMII_NORMCOLORS
+!
+
 # Misc Setup
 xsetroot -solid $WMII_BACKGROUND
 Action status &