Modificando questo controllo verrà ricaricata la pagina
Importare ed esportare i profili
Se vuoi trasferire le impostazioni di Terminale da un computer a un altro, puoi importare ed esportare i file di impostazioni. I file di impostazioni di Terminale terminano con l'estensione “.terminal”.
Importare un file di impostazioni
Scegli Terminale > Preferenze, quindi fai clic su Profili.
Fai clic sul menu a comparsa Azione
, quindi scegli Importa.Seleziona il file che vuoi importare, quindi fai clic su Apri.
Esportare un file di impostazioni
Scegli Terminale > Preferenze, quindi fai clic su Profili.
Fai clic sul menu a comparsa Azione
, quindi scegli Esporta.Inserisci un nome per il file di impostazioni, quindi fai clic su Salva.