web-dev-qa-db-fra.com

Est-il possible de supprimer le terminal par défaut et de le remplacer par un autre terminal (comme un terminateur ou une terminologie)?

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?

12
Gibreel Abdullah

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:

  1. Installez le nouvel émulateur de terminal, par exemple

    Sudo apt-get install terminator
    
  2. 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.

20
Rmano

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.

1
WillC

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.

0
mstfacmly