:: Re: [DNG] /usr to merge or not to m…
Top Page
Delete this message
Reply to this message
Author: Rick Moen
Date:  
To: dng
Subject: Re: [DNG] /usr to merge or not to merge... that is the question
Quoting Hendrik Boom (hendrik@???):

> On Wed, Nov 28, 2018 at 03:36:12AM -0800, Rick Moen wrote:
> >
> > (This is why I tend not to waste time hyperventilating about dumb distro
> > policy decisions: Submit a bug. If it's rejected or never acted on,
> > just make a local configuration that works around the stupid distro
> > action, and move on to more rewarding parts of life. If moved to
> > public-spiritedness, also publish one's fix a part of a third-party
> > package repo, pro bono public, to help others benefit from your work
> > without needing to replicate ito.)
>
> Sounds like a description of devuan.


Serendipitously so, yes!