.TERMINAL Estensione file
File delle impostazioni di Terminal
| Sviluppatore | Apple |
| Popolarità |
2,8 | 13 Voti |
Che cos'è un file TERMINAL?
File delle impostazioni creato da Apple Terminal, l'utilità a riga di comando inclusa in Mac OS X (Terminal.app); salva le impostazioni dell'aspetto della finestra, come il carattere, i colori del testo e dello sfondo, le dimensioni della finestra e i comandi di avvio della shell; può anche essere utilizzato per salvare un gruppo di finestre, ovvero una disposizione di più finestre aperte (Window → Save Windows as Group....
Maggiori informazioni
Puoi esportare un file TERMINAL scegliendo Shell → Export Settings... dal menu dell'applicazione. In alternativa, puoi scegliere Terminal → Preferences..., selezionare la scheda "Settings" e scegliere "Export" dal menu delle opzioni nella colonna a sinistra. Puoi anche importare qui le impostazioni di Terminal scegliendo "Import" oppure selezionando Shell → Import... dal menu dell'applicazione.
Gli sviluppatori e gli amministratori di sistema utilizzano spesso impostazioni diverse di Terminal per attività diverse. Ad esempio, uno schema di finestre può essere utilizzato per lo sviluppo del codice sorgente, mentre un altro può essere utilizzato per l'amministrazione tramite SSH.
NOTA: Terminal include diversi schemi di impostazioni predefiniti, accessibili dalla scheda "Settings" nella finestra delle preferenze dell'applicazione.