Guide de l'utilisateur du bureau GNOME 2.2 sous Linux

Préférences du terminal

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

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

Tableau 10–20 Préférences du terminal favori

Élément de la boîte de dialogue 

Description 

Sélectionnez 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.