Guide de l'utilisateur de Java Desktop System Version 3

Préférences du terminal

L'onglet Terminal permet de configurer votre terminal par défaut.

Le Tableau 7–23 répertorie les préférences que vous pouvez modifier en ce qui concerne votre terminal par défaut.

Tableau 7–23 Préférences du terminal par défaut

Élément de la boîte de dialogue 

Description 

Sélectionner un terminal

Cette option vous permet d'utiliser un terminal standard. Utilisez la zone de liste déroulante modifiable pour spécifier votre terminal préféré.  

Terminal personnalisé

Cette option vous permet d'utiliser un terminal personnalisé. 

Commande

Entrez la commande à exécuter pour démarrer le terminal personnalisé.  

Indicateur d'Exec

Entrez l'option exec à utiliser avec la commande.