wmii

commit d3efb4965bff9539cab4e05802be3ee83b5595a8
parent 4d689c0a0d37a60c77d780ded84903ec496990c9
Author: Kris Maglione <jg@suckless.org>
Date:   Tue, 27 Feb 2007 03:39:40 -0500

Make gawk happy.

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

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/rc/rc.wmii b/rc/rc.wmii
@@ -37,7 +37,7 @@ fn config_whatis {
 
 # Source Variables, &c
 local = `{config_whatis rc.wmii.local}
-. <{awk '// /^# Overrides/ { exit }' $local}
+. <{awk '//; /^# Overrides/ { exit }' $local </dev/null}
 
 # Column Rules
 wmiir write /colrules <<!
@@ -182,7 +182,7 @@ fn run_command {
 }
 
 # Source Overrides
-. <{awk '/^# Overrides/, 0' $local}
+. <{awk '/^# Overrides/, 0' $local </dev/null}
 
 # WM Configuration
 wmiir write /ctl <<!