<snip>
It was until fairly recently general practice to allocate a few hundred
MB to / if /usr and /var were separate. It's only in the last few years
that the size of /lib/modules has really exploded, and /usr now needs
(in practice) to physically live under /.
I once tried to put /lib/modules under it's own partition. Needless to
say, it broke horribly and the system was unable to boot.
Having said that, with >100GB disks common now, the fallacy that, just
because you cannot have a sub 1G / filesystem, that you have to place
/usr onto that partition, is annoying. In fact, the whole /usr merge to
me is annoying. If we do not _need_ /usr, why have it in the first
place? Why have this separate directory that you should no longer split
off onto a separate partition? Just have everything in /
Iain
--
To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/54dd4065.7020...@thargoid.co.uk
