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 le gsettings
pour configurer 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
Desde termite
ne prend pas d'arguments (ou en prend, cela dépend de ce que vous faites avec, vous pouvez les définir de cette façon) utilisez ceci pour définir des arguments vides ou définir les arguments d'exécution pour le terminal dont vous avez besoin.
gsettings set org.gnome.desktop.default-applications.terminal exec-arg ""
Après cette termite
sera votre émulateur de terminal par défaut.