On Wed, 2018-11-21 at 12:17 +0000, Roger Leigh wrote: > Hi folks, > > I've been following the discussion with interest. It's certainly not a > new discussion, since I remember debating it a good few years back, but > there are still the same opinions and thoughts on the topic that I > remember from back then. > > Some general points to consider: > > 1) A separate /usr serves no practical purpose on a Debian/Devuan system > > With those points considered, merging / and /usr would make sense. > Though equally, keeping the separation doesn't hurt *if they are on the > same filesystem*. If they are to be merged, then there are two > possibilities: moving /usr to / or the contents of /* to /usr.
A historical note: The GNU/Hurd people tried to do the merge the other (and right) way around: Moving the contents of /usr to / and creating symlinks. But being small and not having any big corporation backing them up they were laughed at. Let's bring som history into this discussion. HTH! _______________________________________________ Dng mailing list Dng@lists.dyne.org https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
