Remplacer le terminal par défaut : une galère

Encore une fois, je prends le clavier pour raconter quelque mésaventure dans le monde merveilleux du logiciel libre…

J'ai plusieurs terminaux virtuels, que j'utilise selon le besoin. URxvt lorsque je lance Vim, Terminator quand je ne veux pas me prendre la tête avec `screen` ou `byobu`, Guake en cas de besoin rapide et pendant longtemps… Mon préféré, c'est Sakura. Pour le nom, déjà (qui va admirablement bien avec `byobu`), mais également pour sa légèreté : 3 Mo d'empreinte mémoire au lancement, lorsque `gnome-terminal` et Urxvt en prennent respectivement 8 et 12.

Sous Linux Mint, il est possible de changer le terminal par défaut avec *Applications favorites*. C'est cool, rapide, parfait. Ça évite la bonne vieille commande `sudo update-alternatives --config x-terminal-emulator` qui est, de toute manière, détournée par Gnome.

Voilà donc Sakura en terminal par défaut, le raccourci clavier `Ctrl+Alt+T` l'ouvre bien, de même que la majorité de mes applications (au hasard, Thunar par exemple). Mais pas Nemo, le gestionnaire de fichiers de Cinnamon. L'action *Ouvrir dans un terminal* ne fait rien. J'ouvre Nautilus, puisque Nemo en est un fork, pour constater que là, Nautilus ne lance que Gnome-terminal.

Je passe sur les recherches effectuées pour tenter de résoudre le problème (gconf, nemo-actions, gnome-terminal.wrapper…). Un post de 2013 sur askubuntu répond à la question. Je traduis librement :

*Détails* : `nautilus-open-terminal` utilise `GAppInfo` pour lancer le
processus de terminal. Or, `GAppInfo` va chercher dans une liste d'émulateurs
de terminal qui est codée en dur :
https://git.gnome.org/browse/glib/tree/gio/gdesktopappinfo.c#n2467
*Solution* :
Supprimer gnome-terminal : `sudo apt-get remove gnome-terminal`Faire un lien symbolique vers gnome-terminal : `sudo ln -s
/usr/bin/sakura /usr/bin/gnome-terminal`

Oui, on marche sur la tête. Au lieu de ne serait-ce qu'ajouter un `if` pour aller chercher `x-terminal-emulator`, une solution quasi-standard, on se retrouve à devoir désactiver gnome-terminal… Et le plus beau, c'est que le bug remonte à 2010 !

----

Permaliens :