[lug] devpts

[Alan Robertson]

Charles Morrison wrote:
> 
> On Tue, 26 Oct 1999, you wrote:
> > Hi,
> >
> > I had the same thing happen.  I had put devpts in the kernel and later
> > removed it.  It is under "character devices".  Delete the entry for it
> > from /etc/fstab and you will no longer get the error message.
> >
> 
> Yes, that would get rid of the messages, but would that clean up the umount
> problem too? Could it be refusing to umount / because it can't umount a
> nonexistant devpts filesystem? I really hate trashing my / partition :-(

It will only complain about being unable to unmount things that are actually
mounted.  Things that aren't actually mounted aren't a problem.

	-- Alan Robertson
	   alanr at bell-labs.com