> Et pendant ce temps, quelques clowns vont crier partout "On dit GNU/Linux, pas Linux, vous zêtes trop nuls lolololol". Rigolo.

@Incontinentia Buttocks : D’autant plus rigolo que dans certains cas « GNU/Linux » est tout aussi erroné que « Linux » (il n’y a pas que Linux dans la vie de GNU, et l’arlésienne Hurd n’est pas la seule alternative possible).

Ceci dit, il se trouve à quelques clics d’ici un gars qui te ferait bien rigoler : dans un billet de février 2011, non seulement il désapprouve l’usage de « distribution Linux », mais également celui de « distribution » ! Si le gars en question n’argumentait pas de façon pertinente, le premier chasseur de vrai-faux troll venu trouverait que le môssieur avait un ou deux trolls d’avance, là, quand même.

Et alors quoi ? Finalement, Stéphane Bortzmeyer, puisque c’est (encore) de lui qu’il s’agit, nous suggère en substance de désigner notre « système d’exploitation » (voilà qui va en faire débander plus d’un) par son nom, comme des grands garçons matures.

Enfin, Linux est une marque commerciale, et je ne me vois pas trop briser les gonades de mon entourage avec ça… pas plus qu’avec Aspirine ou Frigidaire.