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–33 répertorie les préférences que vous pouvez modifier en ce qui concerne votre terminal par défaut.

Tableau 7–33 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. La zone de liste déroulante modifiable permet de spécifier l'application de terminal préférée. 

Terminal personnalisé

Cette option permet d'utiliser une application de terminal personnalisée. 

Commande

Saisissez la commande permettant de lancer le terminal personnalisé. 

Indicateur d'Exec

Entrez l'option exec à utiliser avec la commande.