Ich wollte einfach nur den Hostnamen ändern, fand aber die Option dazu nicht, hatte es dann über den Terminal versucht, aber dies blieb nie permanent. Also wenn ich “hostname neuername” eingab, funktionierte dies nur für die aktuelle Terminal-Session und wurde danach wieder verworfen. Doch nun endlich hab ich’s herrausgefunden!

in den Systemeinstellungen unter “Sharing” ist die Option versteckt!