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!