Raphael Hertzog wrote: > Surely you don't have to invent X ways to identify the OS just because > you want to identify it in different contexts?
Yes, I think this is where we disagree. > Using a single source is just a better design that avoids mistakes > where /etc/dpkg/origins/default says Debian and /etc/os-release says > Mint (or similar, it's just an example). Hopefully the following explains the disagreement: I think this is a perfectly reasonable configuration. But again, a use case (e.g., a horror story about what bad things happen from such a strange configuration) would be a normal thing to include in a patch description and could easily change my mind. I think it's ok that we disagree until then. :) Ciao, Jonathan -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
