Unsere HOME-dir Struktur stammt aus der Zeit, wo
man Studenten und Professoren auf verschiedenen
Servern hatte, und Plattenplatz immer wieder knapp
wurde. Daher hat man gruppenweise mount-points
angelegt. Mit ZFS ist das jetzt sehr obsolet.
Idealerweise wuerde man einfach alle user HOMEs nach
/usr/home/$username legen, und mit einer einzigen
auto.home map
* ziusudra:/zpool/foo/bar/&
waere dann alles erledigt. Geht leider nicht,
weil viele Programme ueberfluessigerweise den
frueheren Wert von $HOME in diverse dot-Files
geschrieben haben :/ Z.B. merkt sich Firefox,
dass Downloads in das alte /usr/home/$group/$name/Downloads
geschrieben werden, was dann entweder Fehler schmeisst,
oder eben auf den alten Server schreibt, wos
keiner mehr findet. Workaround: auf ziusudra
gibts ein /zpool/foo/bar/fakegroups, wo alle
softlinks zu allen HOMEs drin sind, so dass der
alte Pfad noch stimmt, waehrend gleichzeitig alle
HOMEs unter /usr/home gemountet sind. Nachteil:
wir kommen nicht mehr so einfach an die alten Versionen
von den HOMEs (aber wir haben zfs snaphosts davon).
Weiterer Vorteil: wir koennen problemlos Leute von
Gruppe zu Gruppe schieben