On Sat, 13 Mar 2021 11:00:12 -0500, you wrote: >On Fri, Mar 12, 2021 at 08:13:07PM -0500, Gerald Henriksen wrote: >> You aren't going to change not just the 15+ year habits of how people >> refer to Fedora, but the even longer habits of how people call Linux >> distributions. > >Again, I'm not out to immediately change colloquial usage. Although I *do* >think that would be a positive, that's not in scope here. It's about how we >formally talk about things ourselves, and this change is just about one very >specific small way in which we do that.
So, a community that historically hates typing extra stuff and thus likes to remove vowels and occasionally other letters from commands, who primarily "talks" via text communication, is suddenly going to add the extra word Linux in their communications? Yes, you will be able to force the web team to add the word Linux to every mention of Fedora - but no one else is going to. Which again brings us to what is the point then? If you want to differentiate the OS from the project and other stuff, then you are going to be better off renaming the other stuff than attempting to force through a change to a name that the community and outside world aren't going to follow. _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
