Utilizzare i profili per modificare l’aspetto delle finestre di Terminale sul Mac

1. Vai all’app Terminale sul Mac.

2. Scegli Terminale > Impostazioni, quindi fai clic su Profili.

3. Esegui una delle seguenti operazioni:

   • Creazione di un nuovo profilo: fai clic su sotto all’elenco dei profili, quindi specifica il nome del nuovo profilo.

   • Modifica di un profilo esistente: seleziona il profilo che vuoi modificare.

4. Scegli le impostazioni per il profilo:

   • Testo: consente di modificare colori, font, testo, sfondi e stile del cursore.

   • Finestra: consente di modificare le impostazioni di visualizzazione delle finestre, ad esempio titolo, dimensioni e scorrimento.

   • Pannello: consente di modificare le impostazioni di visualizzazione dei pannelli, ad esempio, il titolo e il nome del processo.

   • Shell: consente di modificare le impostazioni relative alle operazioni di avvio e uscita.

   • Tastiera: consente di modificare le impostazioni dei tasti funzione, del tasto Opzione e dello schermo alternativo.

   • Avanzate: consente di modificare le impostazioni relative a tipo di terminale (terminfo), input, comportamento degli avvisi e codifica internazionale.

1. Vai all’app Terminale sul Mac.

2. Scegli Terminale > Impostazioni, quindi fai clic su Profili.

3. Fai doppio clic sul nome del profilo che vuoi rinominare.

4. Inserisci un nuovo nome, quindi premi A capo.

1. Vai all’app Terminale sul Mac.

2. Scegli Terminale > Impostazioni, quindi fai clic su Profili.

3. Seleziona il profilo che vuoi copiare.

4. Fai clic su , quindi scegli “Duplica profilo”.

5. Inserisci un nome per il profilo copiato, quindi premi A capo.

1. Vai all’app Terminale sul Mac.

2. Scegli Terminale > Impostazioni, quindi fai clic su Profili.

3. Seleziona il profilo che vuoi rimuovere.

4. Fai clic su sotto all’elenco di profili.

Se ha rimosso o modificato i profili predefiniti 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 predefiniti (ovvero, non puoi ripristinarli individualmente).

Se hai personalizzato uno dei profili predefiniti e vuoi salvare le tue personalizzazioni, devi rinominare il profilo prima di ripristinare i profili predefiniti. L’operazione di ripristino sovrascrive le impostazioni di ciascun profilo predefinito.

1. Vai all’app Terminale sul Mac.

2. Scegli Terminale > Impostazioni, quindi fai clic su Profili.

3. Fai clic su , quindi scegli “Ripristina i profili di default”.