Compressing /usr Filesystem

[Chuck Karish]

In article <1991Jan2.135319.18477 at murdoch.acc.Virginia.EDU>
lab3e at landau5.phys.virginia.edu (Louis A. Bloomfield) writes:
>A number of individuals have noted difficulty in removing /usr in order
>to compress that filesystem.  The reason /usr won't umount is that the
>Korn Shell is holding on to it.

Not on my systems.  It's always /usr/lib/errdemon.

>2) set root to use csh (not ksh) and logged in as root

Put root's history file somewhere outside /usr and this shouldn't
be necessary.

>3) telinit 1
>4) killall -

This doesn't kill the errdemon process.  When I wanted to unmount
/usr last (to run fsck) I booted from diskettes.
-- 

	Chuck Karish		karish at mindcraft.com
	Mindcraft, Inc.		(415) 323-9000