Windows

[Dave Ciemiewicz]

In article <8905171545.AA00615 at snow-white.merit-tech.com>, goss at SNOW-WHITE.MERIT-TECH.COM (Mike Goss) writes:
> 
>     3)	When done, you can get rid of the window manager doing a
> 	"ps -ef" command to find process "/etc/gl/grcond", and
> 	then killing that process (or you can logout at the console
> 	itself).
> 
> Mike Goss, Merit Technology Inc.

The command /etc/killall will allow you to kill a program by specifying its
name.  The command "/etc/killall grcond" should do the trick.  If killall
complains about permissions, you may have an older release.  Use
"chmod 2111 killall" to set permissions on killall so any user can use it
on their processes.

For more details on /etc/killall, see the manual page in section 1M.

--

Dave	   (commonplace)		"Boldly going where no one cares to go."
Ciemiewicz (incomprehensible)
ciemo 	   (infamous)