commit 026c887fbe8baf6ace14e0d355315e00105935dc parent 215ac62fd7275839feac880ee1a07030236193a6 Author: Georg Neis <gn@wmii.de> Date: Sat, 25 Feb 2006 19:33:31 +0100 same for the wmii script Diffstat:
| cmd/wm/wmii | | | 31 | ------------------------------- |
| extra/p9p/wmii | | | 31 | +++++++++++++++++++++++++++++++ |
2 files changed, 31 insertions(+), 31 deletions(-)
diff --git a/cmd/wm/wmii b/cmd/wm/wmii @@ -1,31 +0,0 @@ -#!9PREFIX/bin/rc -# window manager improved 2 wrapper - -if(! ~ $#* 0) { - exec wmiiwm $* -} - -if(! wmiiwm -c) { - exit 1 # wmiiwm is already running or $DISPLAY is unset -} - -old_path=$path -path=($HOME/.wmii-3 CONFPREFIX/wmii-3 9PREFIX/bin $path) -WMII_ADDRESS=unix!/tmp/ns.$USER.$DISPLAY/wmii - -# start window manager and utilities: -mkdir -m 700 -p /tmp/ns.$USER.$DISPLAY -wmiiwm -a $WMII_ADDRESS & -wmiipid=$apid - -# display the wmii introduction if necessary: -if(mkdir $HOME/.wmii-3 >[2]/dev/null) { - welcome & -} - -# run configuration: -sleep 1 -wmiirc & - -# wait for wmiifs's termination: -wait $wmiipid diff --git a/extra/p9p/wmii b/extra/p9p/wmii @@ -0,0 +1,31 @@ +#!/usr/local/plan9/bin/rc +# window manager improved 2 wrapper + +if(! ~ $#* 0) { + exec wmiiwm $* +} + +if(! wmiiwm -c) { + exit 1 # wmiiwm is already running or $DISPLAY is unset +} + +old_path=$path +path=($HOME/.wmii-3 CONFPREFIX/wmii-3 9PREFIX/bin $path) +WMII_ADDRESS=unix!/tmp/ns.$USER.$DISPLAY/wmii + +# start window manager and utilities: +mkdir -m 700 -p /tmp/ns.$USER.$DISPLAY +wmiiwm -a $WMII_ADDRESS & +wmiipid=$apid + +# display the wmii introduction if necessary: +if(mkdir $HOME/.wmii-3 >[2]/dev/null) { + welcome & +} + +# run configuration: +sleep 1 +wmiirc & + +# wait for wmiifs's termination: +wait $wmiipid