Linux
podstatné jméno · rod mužský neživotný · vlastní jméno
—
jádro pro některé operační systémy unixového charakteru
⋄ Linux je základem několika operačních systémů, například GNU/Linux nebo Android.
—
jeden z mnoha jednotlivých distribucí tohoto druhu operačního systému
⋄ Který máš raději Linux – Ubuntu nebo Mandrivu?