Comment 16 for bug 156177

Revision history for this message
Gijs Peskens (gijspeskens) wrote :

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