wmii

commit 81d0daeae437614da9699a111a6720cef9b5ae67
parent f767ebcca8cad5eb72fcaf3a0a06a706f5bba17a
Author: Anselm R. Garbe <garbeam@wmii.de>
Date:   Fri, 10 Feb 2006 21:26:16 +0100

removing unnecessary -$DISPLAY extension from pidfiles


Diffstat:
rc/extern
 | 
2
+-
rc/status
 | 
2
+-
rc/wmiirc
 | 
2
+-

3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/rc/extern b/rc/extern
@@ -3,7 +3,7 @@
 
 PATH=$OLD_PATH
 OLD_PATH=()
-wmiiwmpid=()
+wmiircpid=()
 apid=()
 home=()
 ifs=()
diff --git a/rc/status b/rc/status
@@ -1,7 +1,7 @@
 #!9PREFIX/bin/rc
 # periodically print date and load average to the bar
 
-PIDFILE=/tmp/ns.$USER.$DISPLAY/statuspid-$DISPLAY
+PIDFILE=/tmp/ns.$USER.$DISPLAY/statuspid
 
 fn xwrite { echo -n $2 | wmiir write $1 }
 
diff --git a/rc/wmiirc b/rc/wmiirc
@@ -1,7 +1,7 @@
 #!9PREFIX/bin/rc
 # configure wmii
 
-PIDFILE=/tmp/ns.$USER.$DISPLAY/wmiircpid-$DISPLAY
+PIDFILE=/tmp/ns.$USER.$DISPLAY/wmiircpid
 
 fn xwrite { echo -n $2 | wmiir write $1 }