J'ai testé cela avec Ubuntu 12.04 et Debian 7. Quand je le fais echo $TERM Je reçois xterm Mais si j'utilise le menu déroulant "aide"> "à propos de", il est indiqué gnome terminal 3.4.1.1. Est-ce que cela signifie que j'utilise seulement gnome-terminal? Ou juste xterm? Ou bien gnome-terminal...