Die Serverraeume von AM[123] sind wohl ausreichend direkt verkabelt (an einen switch vom
RRZE in einem Raum, den die Schliesstechnik erstmal gegen das RRZE gesichert hat), so
dass Maschinen nach Absprache ohne einen dazwischenstehenden Switch angeschlossen werden
koennen.
Mails eines Mitarbeiters aus dem Mailbackup gerettet
Linux hat keine update-Option fuer mount, so dass mount options nur durch umount/mount-mit-neuen-optionen
geaendert werden koennen. Das fuehrt dazu, dass man i.A. nur dann mount-options aendern kann,
wenn keine User eingeloggt sind. Saubloed. Aktueller Fall ist die noacl Mount option, damit
das GNU 'cp -p' funktioniert, weil sonst die Makefiles von zahlreichen Tools stehenbleiben.