Certains terminaux non standard possèdent des fonctionnalités supplémentaires telles que la division de la fenêtre, etc. Nous pouvons toujours utiliser ces terminaux sans désinstaller celui d'origine, mais existe-t-il un moyen de supprimer celui d'origine?
EDIT-Certains commentaires disent qu'il n'est pas conseillé de retirer le terminal gnome. Quelles peuvent être les répercussions?
Je ne l'enlèverais pas. Etant donné qu’il s’agit de l’émulateur de terminal par défaut pour l’environnement de bureau Unity/Gnome, il est possible que certains programmes/scripts obscurs l’utilisent sans condition et vous aurez une erreur (probablement deux ans à partir de maintenant, lorsque vous ne vous souviendrez pas de la cause il).
La manière préférée est:
Installez le nouvel émulateur de terminal, par exemple
Sudo apt-get install terminator
Définissez la méthode update-alternative
pour la choisir:
[romano:~/tmp] % Sudo update-alternatives --config x-terminal-emulator
There are 8 choices for the alternative x-terminal-emulator (providing /usr/bin/x-terminal-emulator).
Selection Path Priority Status
------------------------------------------------------------
* 0 /usr/bin/terminator 50 auto mode
1 /usr/bin/gnome-terminal.wrapper 40 manual mode
2 /usr/bin/koi8rxterm 20 manual mode
3 /usr/bin/lxterm 30 manual mode
4 /usr/bin/rxvt-xpm 8 manual mode
5 /usr/bin/rxvt-xterm 10 manual mode
6 /usr/bin/terminator 50 manual mode
7 /usr/bin/uxterm 20 manual mode
8 /usr/bin/xterm 20 manual mode
Press enter to keep the current choice[*], or type selection number:
... et ça devrait être ça. Si vous avez des problèmes, vous pouvez regarder ici: Comment définir le terminal par défaut utilisé dans Unity?
Remarquez cependant qu'il existe un bug/erreur de la bibliothèque sous-jacente qui fait en sorte que tout ce qui utilise le "terminal ouvert" sera not respecter la sélection ci-dessus. Le bogue a été signalé et reconnu en 2010, un correctif est disponible, mais il est toujours là. Je ne retiendrais pas mon souffle pour une solution.
Une solution à l’ensemble du système pourrait consister à supprimer le binaire gnome-terminal
et à le remplacer par un lien vers x-terminal-emulator
--- devrait fonctionner la plupart du temps ...
Sinon, vous avez dans votre PATH
le $HOME/bin
avant /usr/bin
(comme tout le monde, je suppose), vous pouvez simplement ln -s /usr/bin/terminator $HOME/bin/
(aucun privilège requis) et glib se fera un plaisir d’utiliser le lien à la place. du vrai gnome-terminal
.
Il est probablement préférable de ne pas supprimer (comme dans désinstallation) le terminal par défaut (Gnome);
il est probablement préférable d'installer la nouvelle application d'émulateur de terminal, puis de modifier les préférences dans Unity afin de définir la nouvelle comme valeur par défaut.
De ici , ici , et ici , et ma propre expérience
Sudo update-alternatives --config x-terminal-emulator
semble fonctionner pour définir l’application d’émulateur de terminal par défaut dans Unity et dans Lubuntu.
Oui, il existe plusieurs méthodes pour supprimer le terminal. Vous pouvez utiliser le Centre de logiciel et rechercher Terminal, puis le désinstaller.
Alternativement, vous pouvez utiliser une application de terminal (comme Guake ou Terminator, par exemple) pour supprimer l'original avec cette commande:
Sudo apt-get remove gnome-terminal
Aussi simple que cela!
J'espère que cela t'aides.