12.07.2018 15:10 Uhr, Quelle: macprime

Tipp: Schnell das Profil des aktuellen Tabs im macOS-Terminal ändern

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.

Weiterlesen bei macprime