Timothy.Freeman@THEORY.CS.CMU.EDU.UUCP (02/16/87)
Here's a little shell script we use to kill uwm when we want to. We tell uwm to invoke it when we select "quit" from a menu. #! /bin/csh -f # # Author: Tim Freeman, with thanks to Frank Pfenning # set FINDPROC = /usr/local/lib/uwmproc.awk set uwmproc = `ps -acx | awk -f $FINDPROC` if ($uwmproc == "") then echo "No window manager found.">/dev/tty else kill -9 $uwmproc if ( $status == 1 ) then echo "Failed to kill window manager.">/dev/tty endif endif Here's the file /usr/local/lib/uwmproc.awk: $5 == "uwm" { print $1 } I could have changed uwm to have a f.quit, but this this has the advantage that we will probably be able to move to the next version of X without having to install our own changes. It would be better if uwm had a f.quit, right?
wohler@SPAM.ISTC.SRI.COM.UUCP (02/16/87)
here's a couple of recommendations:
>set uwmproc = `ps -acx | awk -f $FINDPROC`
save yourself a file and use:
set uwmproc = `ps -g | awk '$5 == "uwm" {print $1}'`
also note that i used ps -g; you're not interested in someone else's
uwm.
don't use kill -9 unless it's necessary (like a login shell). give
the program and operating system a chance to clean up. for
instance, gnuemacs will autosave any unwritten buffers if sent a
SIGTERM signal (kill's default).
--bw