On 09.03.2021 15:33, Ben Cotton wrote:
"Fedora" is the name of our project. Our general-purpose Linux distribution is "Fedora Linux". Let's refer to it that way in the OS itself.
1. "Fedora" is shorter and better, IMO. The "Core" suffix was dropped years ago.
2. Why Linux and not GNU/Linux? Linux is just a kernel. GNU/Linux is an OS. -- Sincerely, Vitaly Zaitsev (vitaly@xxxxxxxxxxxxxx) _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
