Manuale utente di Java Desktop System versione 3

Preferenze per il terminale

Usare la scheda Terminale per configurare il terminale preferito.

La Tabella 7–23 elenca le preferenze che è possibile modificare per il terminale.

Tabella 7–23 Preferenze per il terminale preferito

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.