wmii

commit d6d060cf95538df96490322f486714b6b2c08f0c
parent 13d27ace6dbe2c9a4baeb2ac0bb5bf8ab061d158
Author: Sander van Dijk <sander@wmii.de>
Date:   Mon, 15 May 2006 23:33:24 +0000

use wmiisetsid in some more places, just to be sure...


Diffstat:
cmd/wm/wmii
 | 
2
+-
rc/wmiirc
 | 
2
+-

2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/cmd/wm/wmii b/cmd/wm/wmii
@@ -10,5 +10,5 @@ mkdir -m 700 /tmp/ns.$USER.$DISPLAY 2>/dev/null
 wmiiwm -a $WMII_ADDRESS &
 wmiiwmpid=$!
 mkdir $HOME/.wmii-3 2>/dev/null && welcome &
-wmiirc &
+wmiisetsid wmiirc &
 wait $wmiiwmpid
diff --git a/rc/wmiirc b/rc/wmiirc
@@ -138,7 +138,7 @@ do
 		$MODKEY-f)
 			xwrite /view/0/sel/geom 0 0 east south;;
 		$MODKEY-a)
-			PATH=$HOME/.wmii-3:CONFPREFIX/wmii-3:$PATH `proglist CONFPREFIX/wmii-3 $HOME/.wmii-3 | wmiimenu` &;;
+			PATH=$HOME/.wmii-3:CONFPREFIX/wmii-3:$PATH wmiisetsid `proglist CONFPREFIX/wmii-3 $HOME/.wmii-3 | wmiimenu` &;;
 		$MODKEY-p)
 			wmiisetsid `wmiimenu <$PROGS_FILE` &;;
 		$MODKEY-t)