Wir verwenden Debian GNU/Linux, um einen kleine Server für die Abteilung zu betreiben, mit internen Webseiten und gemeinsamen Home-Verzeichnissen. Die Dienste sind mit denen des Universitäts-Servers, die ein rein textbasiertes HP-UX ohne die modernen Instrumente und Anwendungen (kein TeX, alter (2.0) Navigator, schlechte Termcap-Unterstützung, sehr schlechte technische Unterstützung, keine moderne Shell) betreibt, konkurrenzfähig, daher entschieden wir uns, einen eigenen Server zu betreiben. Der Server kontrolliert auch die zwei Abteilungsdrucker und bedient eine lpd- und eine cups-Warteschlange.
Wir haben uns für Linux entschieden, um den Benutzer Zugriff auf ein Mehrbenutzer- und Arbeitsplatz-unabhängiges System zu geben, aufgrund leichterer Konfigurierbarkeit und Aktualisierbarkeit und absolut kostenfreien Lösungen und im Speziellen Debian für die extreme Stabilität und Verfügbarkeit. Darüber hinaus stellt unsere Vetter-Abteilung eine stabile ftp-Distribution bereit, daher war es auch eine Frage der Bandbreite.