Linux-Nutzer kennen vermutlich Tuxedo, ist es doch seit Jahren der Hersteller für Linux-Laptops und PCs schlechthin. Da ich auf der Suche nach einer guten Alternative…