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
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.