Tux

nom propre^→ masculin^→.  [Linux]  [mascotte]. Petit nom du manchot mascotte de Linux.

Il n'est pas un pingouin (l'amalgame naquit du fait que le terme anglais penguin désigne... le manchot).

Rien à voir avec Tuxedo, même si on peut se douter que Tux est une abréviation du vêtement nommé en français « smoking » (en américain: « tuxedo ») que semblent porter certains volatiles...

Ce nom a été choisi lors du « Let's Name The Penguin While Linus Is Away Contest » (« Concours Donnons un nom au pingouin pendant que Linus a le dos tourné »).

Pour aller plus loin: Tuz, Tux Droid

https://www.isc.tamu.edu/~lewing/linux/

Site web de Tux

Tux, mascotte de Linux.