Am Freitag, 26. Juli 2019, 15:02:40 CEST schrieb Thorsten Kukuk:
Hi,
On Fri, Jul 26, Michal Kubecek wrote:
All three make good sense to me - and definitely way more sense than /usr/lib. Personally, I would pick /usr/etc for consistency.
Something I was made aware of: /usr/etc is used on other Linux and Non-Linux distributions with a different meaning then we would use it. This could confuse people and could prevent other distributions from joining/following us.
Hmm, do you have any pointer on such distributions and their usage pattern of /usr/etc? I wasn't able to find something, that really matters in this regard. For consistency and efficiency reasons, I still prefer /usr/etc. Why? Because all of us grep /etc from time to time, and prefixing this with / usr is less work. Also, for educational reasons, it's much easier to communicate: distributed (read only) configuration is in /usr/etc, local config is in /etc. instead of adding *yet* *another* exception in naming. So in my humble opinion, we should examine the current usage patterns of /usr/ etc and decide based on that result, if it's worth to create some hassle for them, relative to our packaging, or if it's even neglectable. Cheers, Pete -- To unsubscribe, e-mail: opensuse-packaging+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-packaging+owner@opensuse.org