From d93fc75863eb88dc769870b129ec274c8475b14f Mon Sep 17 00:00:00 2001 From: salva Date: Fri, 10 Mar 2006 23:50:49 +0000 Subject: [PATCH] corrected wrong $OLD_PATH, and removed $PIDFILE hack --- extra/p9p/extern | 2 +- extra/p9p/wmiirc | 24 +++++++++--------------- 2 files changed, 10 insertions(+), 16 deletions(-) diff --git a/extra/p9p/extern b/extra/p9p/extern index 23508548..56854b90 100644 --- a/extra/p9p/extern +++ b/extra/p9p/extern @@ -1,7 +1,7 @@ #!/usr/local/plan9/bin/rc # clean the environment and execute the given command -path=$old_path +path=$OLD_PATH old_path=() apid=() cmd=() diff --git a/extra/p9p/wmiirc b/extra/p9p/wmiirc index 4de80844..ea6a2b0b 100755 --- a/extra/p9p/wmiirc +++ b/extra/p9p/wmiirc @@ -1,12 +1,7 @@ #!/usr/local/plan9/bin/rc # configure wmii -PIDFILE=/tmp/ns.$USER.$DISPLAY/`{basename $0}^'pid' fn xwrite {a=$1; shift; echo -n $* | wmiir write $a} -if(test -r $PIDFILE) - kill `{cat $PIDFILE} -echo $pid >$PIDFILE - MODKEY=Alt WMII_FONT='fixed' WMII_NORMCOLORS='#222222 #eeeeee #666666' @@ -27,9 +22,9 @@ wmiir write /def/rules <$PIDFILE