Heißt es bald „Fedora Linux“?

Matthew Miller, seines Zeichens Fedora Project Leader, hat heute einen Änderungsantrag eingebracht, daß „Fedora“ ab Fedora 35 „Fedora Linux“ heißen soll.

Heißt es bald „Fedora Linux“?

Z.Z. ist es nur ein Antrag, aber Ihr könnt Euch sicher denken, daß es einige Pro’s und Contra’s auf der Entwickler Liste von Fedora gibt, ja gibt, denn noch ist die Diskussion in der Anfangsphase.

Die These lautet:

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

Meint also, Fedora bezeichnet alles was im Fedora Projekt gemacht wird, und die Linux Distribution Fedora ist ein Teil vom Projekt, deswegen müßte dieser Teil einen Zusatz haben um das anzuzeigen.

Note: Fedora is made of people! When used by itself, the term „Fedora“ refers to the Fedora Project. When referring to our work, please use either a specific name like Fedora Workstation, Fedora CoreOS, or Fedora KDE Plasma Desktop; or use Fedora Linux to refer to the OS distribution as a whole.

Die Änderung an sich wäre übrigens nur minimal sichtbar, z.b. im Loginprompt in der Konsole, im Text der /etc/os-release Information und ggf. in dem einen oder anderen Logo.

Was ich nicht ganz verstehe an der Argumentation oben ist, daß wenn doch alle Teile von Fedora auf eine Distribution abzielen, z.B. der KDE Desktop Teil, das CoreOS usw., warum sollte dann die Distribution nicht den Namen nehmen, der für all das steht?

Eine Reaktion wollte ich Euch nicht vorenthalten, die halte ich auch für valide:

This doesn’t seem to solve any real world problem, there is nothing wrong with just leaving it as is.

Den ganzen Änderungsantrag kann man hier einsehen:

https://fedoraproject.org/wiki/Changes/Fedora_Linux_in_os-release

PS: Muß ich dann eigentlich meine Kategorie im Blog auf „Fedora Linux“ ändern? Nicht lachen, daß wird gerade für getfedora.org gefragt, und da ist tatsächlich was dran, weil wenn schon, dann richtig.