On Sunday 19 March 2006 17:36, Jeff Vian wrote: > On Sun, 2006-03-19 at 13:54 +0000, Anne Wilson wrote: > > On Sunday 19 March 2006 13:07, Tim wrote: > > > On Sun, 2006-03-19 at 12:49 +0000, Anne Wilson wrote: > > > > It looks as though I ought to have a separate partition for /tmp. I > > > > need help, though, to add it at this point. > > > > > > Look at your fstab file, and create a /tmp mountpoint in a similar way > > > to other ones. You mount a partition onto a /tmp directory, the > > > partition (or you can use an entire drive), can come from anywhere. > > > > > > e.g. /dev/hda3 /tmp ext3 defaults,noexec,nodev 1 2 > > > > Will the old /tmp be quietly ignored when I reboot? > > The old /tmp is part of the / filesystem. Existing files will be > hidden by mounting over it. > > See my earlier post on how to free the space and my recommendations on > the sequence to use for properly doing this without rebooting nor losing > space. > Got it, Jeff, thanks. There is only about 200KB usage in there at the moment, but I'll still get rid of them the way you suggest. Anne
Attachment:
pgphbiWcjGye6.pgp
Description: PGP signature
