Come si cambia il profilo di Terminal.app per tutte le schede aperte usando una scorciatoia da tastiera?

4

Mi piacerebbe sapere se c'è un modo per passare tutte le mie attuali schede Terminal.app a un profilo diverso al volo.

Il caso d'uso è quello di cambiare il profilo del terminale da un tema scuro a uno chiaro e viceversa, a seconda dell'umore / preferenza corrente dell'utente. Questo può essere ottenuto manualmente facendo clic con il pulsante destro del mouse su un'intestazione della scheda e selezionando "Scheda Verifica", quindi modificando il tema per ciascuna scheda.

L'altra opzione è quella di chiudere tutte le schede aperte e riaprirle con un nuovo tema, nuovamente IMHO non ottimale.

Spero che qualcuno abbia un modo migliore:)

    
posta cavalcade 28.08.2012 - 07:53
fonte

1 risposta

5

Crea un AppleScript come questo, e chiamalo qualcosa come TerminalNightMode:

tell application "Terminal"
    set current settings of tabs of windows to settings set "Pro"
end tell

È possibile sostituire l'impostazione "Pro" con il nome dell'impostazione di propria scelta. Quando esegui questo AppleScript, cambierà le impostazioni per tutte le schede in tutte le finestre. Raccomando di mettere questo script sul dock per un facile accesso. Allo stesso modo, puoi creare un altro script per la modalità giorno.

    
risposta data 05.09.2012 - 17:05
fonte

Leggi altre domande sui tag