Manuale utente di Java Desktop System versione 3

Preferenze per il terminale

Usare la scheda Terminale per configurare il terminale preferito.

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

Tabella 7–33 Preferenze per il terminale preferito

Elemento 

Descrizione 

Seleziona un terminale

Selezionare questa opzione per usare un terminale standard. Usare la casella combinata a discesa per specificare l'applicazione di terminale preferita. 

Terminale personalizzato

Selezionare questa opzione per usare un'applicazione di terminale personalizzata. 

Comando

Inserire il comando di avvio del terminale personalizzato. 

Flag di esecuzione

Inserire l'opzione exec da usare con il comando.