wmii

commit a490d34b5889b89ce08c08b83088887e83ce54d8
parent 30241d8a4983abae83674d0c2d102e76db08d6bb
Author: Kris Maglione <jg@suckless.org>
Date:   Sun, 25 Mar 2007 15:16:24 -0400

Don't run rc.wmii if its name is not rc.wmii.

Diffstat:
rc/rc.wmii
 | 
5
+++++

1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/rc/rc.wmii b/rc/rc.wmii
@@ -4,6 +4,11 @@
 oldpath=$path
 path=($PLAN9/bin $path)
 
+if(echo $0 | grep -vs '/rc.wmii$') {
+	echo Fatal: This file should only be run as rc.wmii >[1=2]
+	exits badname
+}
+
 MODKEY=Mod1
 UP=k
 DOWN=j