Anmerkung: Wir sprechen in diesem Kurs von Linux um es einfacher zu halten. Es gibt eine andauernde Diskussion, ob man von Linux oder GNU/Linux (oder GNU+Linux) spricht. Dabei bezeichnet GNU eine Reihe von Werkzeugen, ohne die man den Linux Kernel nicht gut benutzen kann. Auch wir werden in diesem Kurs einige GNU Tools nutzen, aber der Einfachheit halber von Linux sprechen.