wmii

commit b358f2a36ac6a5be00c6ce5d557b6b3825552ddd
parent 2d6e3b91e51905dac87a42b0331677e6f6553315
Author: Kris Maglione <jg@suckless.org>
Date:   Sat, 14 Apr 2007 01:25:11 -0400

Fix rc.wmii.

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

1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/rc/rc.wmii.rc b/rc/rc.wmii.rc
@@ -40,9 +40,9 @@ if(echo $0 | grep -vs '/rc.wmii$') {
 	exit badname
 }
 
-if(! text -x $PLAN9/read) {
-	echo Can't find the '''read''' command >[1=2]
-	xmessage -file - <<! &
+if(! test -x $PLAN9/bin/read) {
+	echo 'Can''t find the ''read'' command' >[1=2]
+	xmessage -file - <<'!'
 	exec `{config_whatis wmiirc}
 }
 rc.wmii can't run:
@@ -251,3 +251,4 @@ wmiir read /event |
 		event = $1; shift
 		Event-$event $*
 	} >[2]/dev/null </dev/null
+