Ok, ich habe das --modify gerade nochmal laufen lassen. Jetzt heißt er also “server.intern.schule.org”. Warum gilt das dann nicht als “Domain-Hijacking”??
Der Durchlauf von /var/lib/linuxmuster/config-dynamic/99_start-services dauert hier übrigens extrem lange. Hohe Systemlast erzeugt das Script aber nicht. Die Umstellung ist gerade erfolgreich durchgelaufen. Jetzt kann’s mit LE weitergehen…