:: Re: [DNG] /usr to merge or not to m…
Top Page
Delete this message
Reply to this message
Author: Hendrik Boom
Date:  
To: dng
Subject: Re: [DNG] /usr to merge or not to merge... that is the question
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.

-- hendrik