Wer das Terminal auf dem Mac mit mehreren Tabs benutzt, kann über eine komfortable Abkürzung schnell das Profil jedes einzelnen Tabs ändern. Dazu einfach den jeweiligen Tab Doppel-Klicken und schon blendet sich sich ein Fenster ein, in welchem sich für eben dieses Tab ein anderes Profil einstellen lässt.
Die Liste greift dabei auf die in den Terminal-Einstellungen (TerminalEinstellungen … bzw. ⌘,) unter «Profile» vordefinierten Profile zurück.
