Autor: Hendrik Boom Fecha: A: dng Asunto: 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.)