Shachar Shemesh <[EMAIL PROTECTED]> writes: > Nadav Har'El wrote: > > >So now I alway partition my disks with one huge partition (in addition to > >small /boot and swap partitions, of course). I recently created a 80 GB > >partition, and it seems to be working well. > > > > I also separate /home. Reason being, this way I can reinstall the OS > and not lose any important data.
For the same reason, I sometimes have a separate /usr/local partition. You need some space where system-wide stuff not related to the OS itself resides. Think /usr/local/cvs and things like that. In general, I would like to stress the point that Nadav and Shachar make: your decision may be different for a single-user home box and a production server. -- Oleg Goldshmidt | [EMAIL PROTECTED] ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
