[hackers] [wmii] Make gawk happy.

changeset: 1971:dc5626765b61
tag: tip
user: Kris Maglione <jg_AT_suckless.org>
date: Tue Feb 27 03:39:40 2007 -0500
summary: Make gawk happy.

diff -r c8046bd05e65 -r dc5626765b61 rc/rc.wmii
--- a/rc/rc.wmii Tue Feb 27 03:14:39 2007 -0500
+++ b/rc/rc.wmii Tue Feb 27 03:39:40 2007 -0500
@@ -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 <<!
Received on Tue Feb 27 2007 - 09:43:53 UTC