On 9/27/2013 7:50 PM, "Luís Marques" <[email protected]>" wrote:
It really is not my intention to start an argument over something inconsequential, but I understood your point was: "´linux´ is the only OS identifier that is not capitalized because that's what's consistent with gcc". But if the other OS identifiers are not consistent with gcc then I don't understand your point.
If you're looking for consistency, there isn't any consistent consistency. It's all just a bikeshed issue. I explained why it's "linux", and for better or worse, it is not worth all the grief & disruption changing it.
