I completely agree in seeing the benefits of having a separate home partition, I always create one myself. However a root which is to small (<10gb) will run into problems REALLY quick, remember a LOT of apps default to /opt (i.e. vmware images & non-free games) some stuff goes to /var (this is mostly server related though so it doesn't really count). I would say: create the separate partition, call it a data partition or something symlink at least /opt and possibly /tmp into it and never do this on default unless / is 10gb or bigger and /home would be bigger or equal to / The 10 gb is a number I always keep to, 5gb might be sufficient though
-- offer to create a separate /home partition https://bugs.launchpad.net/bugs/156177 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
