Creare e gestire i profili di Terminale
Un profilo è una raccolta di impostazioni di stile e comportamento per una finestra di Terminale. Le impostazioni che puoi archiviare in un profilo includono colore di sfondo, font, stile del cursore e altro ancora.
Terminale include un insieme di profili predefiniti chiamati profili di default e puoi anche creare i tuoi profili personalizzati.
Creare un nuovo profilo
Scegli Terminale > Preferenze, quindi fai clic su Profili.
Fai clic sul pulsante Aggiungi
sotto l'elenco dei profili.Inserisci un nome per il nuovo profilo.
Scegli le impostazioni per il nuovo profilo.
Modificare un profilo
Scegli Terminale > Preferenze, quindi fai clic su Profili.
Seleziona il profilo che vuoi modificare.
Effettua modifiche alle impostazioni del profilo.
Rinominare un profilo
Scegli Terminale > Preferenze, quindi fai clic su Profili.
Fai doppio clic sul nome del profilo che vuoi rinominare.
Inserisci un nuovo nome, quindi premi A capo.
Copiare un profilo
Scegli Terminale > Preferenze, quindi fai clic su Profili.
Seleziona il profilo che vuoi copiare.
Fai clic sul menu a comparsa Azione
, quindi scegli “Duplica profilo”.Inserisci un nome per il profilo copiato, quindi premi A capo.
Rimuovere un profilo
Scegli Terminale > Preferenze, quindi fai clic su Profili.
Seleziona il profilo che vuoi rimuovere.
Fai clic sul pulsante Rimuovi
sotto l'elenco dei profili.
Ripristinare i profili di default
Se ha rimosso o modificato i profili di default che erano inclusi in Terminale, puoi aggiungerli di nuovo all'elenco dei profili con le loro impostazioni originali. Puoi ripristinare solo l'intero insieme di profili di default (ovvero, non puoi ripristinare i profili di default individualmente).
Se hai personalizzato uno dei profili di default e vuoi salvare le tue personalizzazioni, devi rinominarlo prima di ripristinare i profili di default. L'operazione di ripristino sovrascrive le impostazioni di ciascun profilo di default.
Scegli Terminale > Preferenze, quindi fai clic su Profili.
Fai clic sul menu a comparsa Azione
, quindi scegli “Ripristina i profili di default”.