Manuale utente del desktop GNOME 2.2 su Linux

Preferenze per il terminale

Usare la scheda Terminale per configurare il terminale preferito.

La Tabella 10–20 elenca le preferenze che è possibile modificare per il terminale.

Tabella 10–20 Preferenze per il terminale

Elemento 

Descrizione 

Selezionare un terminale

Selezionare questa opzione per usare un terminale standard. Usare la casella combinata a discesa per specificare il terminale preferito.  

Terminale personalizzato

Selezionare questa opzione per usare un terminale personalizzato.  

Comando

Inserire il comando da eseguire per avviare il terminale personalizzato.  

Flag di esecuzione

Inserire l'opzione exec da usare con il comando.