Recherche de site Web

Ubuntu : Changer l’émulateur de terminal par défaut


L’émulateur de terminal est un outil essentiel pour interagir avec votre système Ubuntu, mais vous préférerez peut-être une alternative à l’option par défaut. Que vous recherchiez des fonctionnalités supplémentaires, une interface plus personnalisable ou de meilleures performances, Ubuntu vous permet de changer facilement votre émulateur de terminal par défaut. Dans ce guide, nous vous guiderons à travers les étapes à suivre pour changer d’émulateur de terminal, ce qui vous offrira plus de contrôle sur votre environnement système et votre productivité.

Dans ce tutoriel, vous allez apprendre :

  • Comment installer et configurer un nouvel émulateur de terminal
  • Méthodes pour changer l’émulateur de terminal par défaut

Introduction à la modification du terminal par défaut

Les utilisateurs d’Ubuntu peuvent préférer utiliser un émulateur de terminal différent de celui du terminal GNOME par défaut. Les alternatives courantes incluent Terminator et Tilix. Le basculement correct du terminal par défaut garantit que les touches de raccourci et les actions de menu contextuel qui lancent un terminal le font avec l’application préférée de l’utilisateur.

Tout d’abord, installez Terminator comme nous l’utiliserons pour montrer comment changer le terminal par défaut :

sudo apt install terminator

Après avoir installé Terminator, trouvez le chemin d’accès à son fichier binaire exécutable à utiliser pour le définir comme terminal par défaut. Vous pouvez le faire en utilisant la commande which :

which terminator

Cette commande affichera le chemin complet de l’exécutable de terminaison, généralement /usr/bin/terminator. Utilisez ce chemin d’accès lors de la définition du terminal par défaut.

Comment tester votre terminal Ubuntu par défaut

Pour tester votre terminal par défaut actuel, lorsque vous êtes sur le bureau, appuyez sur Alt+F2 et entrez la commande : x-terminal-emulator. Cela lancera l’émulateur de terminal par défaut actuel. De plus, si vous utilisez GNOME, vous pouvez également faire un clic droit sur le bureau et sélectionner « Ouvrir le terminal » pour lancer le terminal. Cette méthode confirme l’émulateur de terminal par défaut défini par le système.

Méthodes pour changer le terminal par défaut

Vous trouverez ci-dessous deux méthodes pour changer le terminal par défaut dans Ubuntu. La première méthode concerne l’outil update-alternatives, tandis que la seconde méthode est spécifique aux utilisateurs de l’environnement de bureau GNOME.

  1. Utilisation de update-alternatives : cette méthode met à jour les alternatives du système pour définir un nouvel émulateur de terminal par défaut.

    sudo update-alternatives --install /usr/bin/x-terminal-emulator x-terminal-emulator /usr/bin/terminator 50

    Cette commande installe Terminator en tant qu’option pour l’émulateur de terminal par défaut dans le système alternatif, en lui attribuant une priorité de 50. Les numéros de priorité plus élevés donnent au terminal une priorité plus élevée lors du processus de sélection automatique.

    sudo update-alternatives --list x-terminal-emulator

    Cette commande répertorie tous les émulateurs de terminal enregistrés dans le système alternatif. Il vous permet de vérifier que Terminator est correctement installé et affiche les autres options disponibles.

    sudo update-alternatives --config x-terminal-emulator

    Cette commande lance une configuration manuelle pour l’émulateur de terminal par défaut, ce qui vous permet de sélectionner parmi les alternatives répertoriées. Vous choisirez le numéro de Terminator dans la liste pour le définir comme default.
    Cette méthode implique l’installation d’un nouveau terminal, son enregistrement dans le système alternatif et sa sélection par défaut. Cette approche est efficace dans différents environnements de bureau dans Ubuntu.

  2. Pour les utilisateurs de GNOME : Définition du terminal par défaut via gsettings.

    gsettings set org.gnome.desktop.default-applications.terminal exec '/usr/bin/terminator'
    
  3. Cette commande modifie directement les paramètres par défaut de l’application de terminal pour les utilisateurs de l’environnement de bureau GNOME, ce qui facilite le passage à Terminator ou à tout autre émulateur de terminal installé.

Conclusion

Après avoir suivi les méthodes ci-dessus, votre nouvel émulateur de terminal sera défini par défaut et vous pourrez l’ouvrir via n’importe quel raccourci ou contexte système qui lance un terminal. Ce guide vous aide non seulement à personnaliser votre espace de travail, mais aborde également des problèmes courants tels que les erreurs de lien symbolique pendant le processus.

Articles connexes: