wmii

commit 5a301641bf5d788102d4de8c925955041c875308
parent 817780da4b29b3aa3e9dcdc66b4f80b4b55fa096
Author: Sander van Dijk <sander@wmii.de>
Date:   Thu,  8 Jun 2006 19:30:48 +0000

small fix in cmd/wm/wmii, update wmii.1


Diffstat:
cmd/wm/wmii
 | 
2
+-
cmd/wm/wmii.1
 | 
2
+-

2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/cmd/wm/wmii b/cmd/wm/wmii
@@ -5,7 +5,7 @@ wmiiwm -c || exit 1
 
 OLD_PATH="$PATH" export OLD_PATH
 PATH="$HOME/.wmii-4:CONFPREFIX/wmii-4:$PATH" export PATH
-WMII_ADDRESS=unix!/tmp/ns.$USER.$DISPLAY/wmii export WMII_ADDRESS
+WMII_ADDRESS=unix!/tmp/ns.$USER.${DISPLAY%.0}/wmii export WMII_ADDRESS
 
 mkdir -m 700 /tmp/ns.$USER.${DISPLAY%.0} 2>/dev/null
 wmiiwm -a $WMII_ADDRESS &
diff --git a/cmd/wm/wmii.1 b/cmd/wm/wmii.1
@@ -40,7 +40,7 @@ script and does all the work of setting up the window manager, the key
 bindings, the bar labels, etc.
 .SH FILES
 .TP
-/tmp/ns.$USER.$DISPLAY/wmii
+/tmp/ns.$USER.${DISPLAY%.0}/wmii
 The wmii socket file which provides a 9P service.
 .TP
 CONFPREFIX/wmii-4