Debian fournit un terminal générique configurable appelé x-terminal-emulator
( paquet spécial ), qui est un lien symbolique vers un émulateur de terminal particulier. Vous pouvez changer cela en utilisant la commande
sudo update-alternatives --config x-terminal-emulator
Cela vous donnera un menu en ligne de commande vous permettant de sélectionner un terminal préféré parmi ceux que vous avez déjà installés.
Il y a des cas spéciaux où xterm
est utilisé parce qu'aucune des alternatives ne fournit la fonctionnalité donnée. Mais si tout ce dont vous avez besoin est un terminal, la politique Debian consiste à utiliser le x-terminal-emulator
nom de terminal à la place. (Parfois, il y a des rapports de bogues pour les cas qui ont été oubliés).