Profil des aktuellen Terminals wechseln

15

Gibt es eine Möglichkeit, das Profil eines bereits geöffneten Terminalfensters zu ändern? Angenommen, ich habe bereits ein Terminalfenster mit dem Profil "Basic" geöffnet. Kann ich es auf das Grass-Profil umstellen?

Ich kann anscheinend nur Profile ändern, wenn ich ein neues Terminalfenster öffne.

weises Glück
quelle

Antworten:

29

Sie können das Profil eines aktiven Fensters folgendermaßen ändern:

  • Rechtsklick in den freien Bereich des Terminalfensters (oder cmd+ I)
  • Wählen Sie "Show Inspector"
  • Klicken Sie im Inspektorfenster auf die Überschrift "Einstellungen"
  • Wählen Sie ein neues Profil für das aktuelle Fenster

BEARBEITEN:

In macOS 10.14.6 sieht die Profilauswahlliste von Terminal.app Inspector folgendermaßen aus:

macOS 10.14.6 Auswahlliste für das Terminal.app Inspector-Profil

Smoooosher
quelle
Ein echter Lebensretter!
stephanmg