🚀 go-pugleaf

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?