Pour configurer le terminal par défaut dans gnome, vous devez installer dconf-tools
( sudo apt-get install dconf-tools
).
Après cela, vous pouvez utiliser gsettings
pour définir votre émulateur de terminal préféré.
Disons que votre émulateur de terminal préféré est termite
.
Installez-le avec sudo apt-get install termite
Après cela, tapez cette commande
gsettings set org.gnome.desktop.default-applications.terminal exec termite
Puisque termite
ne prend pas d’arguments (ou le fait, cela dépend de ce que vous en faites, vous pouvez les définir de cette façon) utilisez ceci pour définir vide ou définir les arguments exec-terminal pour le terminal dont vous avez besoin.
gsettings set org.gnome.desktop.default-applications.terminal exec-arg ""
Après ce termite
sera votre émulateur de terminal par défaut.