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