Für Terminal können Sie jedes Profil aus den Terminal-Voreinstellungen exportieren ... Auf der Registerkarte "Profile" können Sie das Profil markieren, das Sie exportieren möchten, und dann auf das Zahnrad unten in der Liste der Profile klicken und Exportieren wählen. Siehe Abbildung)
Dadurch wird eine "Profilename.terminal" -Datei gespeichert, die Sie später öffnen können, um dieses Profil auf dem neuen Computer zu installieren
open Profilename.terminal