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

12

Certains terminaux autres que ceux par défaut ont des fonctionnalités supplémentaires telles que la fenêtre de fractionnement, etc. Nous pouvons toujours utiliser ces terminaux sans désinstaller l'original, mais existe-t-il un moyen de supprimer l'original?

EDIT-Certains commentaires disent qu'il n'est pas conseillé de retirer le terminal gnome. Quelles peuvent être les répercussions?

Gibreel Abdullah
la source
1
pourquoi voulez-vous supprimer l'original? conservez l'original et installez ce que vous voulez.
αғsнιη
@KasiyA Je ne veux pas gaspiller d'espace disque sur des choses que je pourrais ne jamais utiliser.
Gibreel Abdullah

Réponses:

21

Je ne l'enlèverais pas. Étant donné qu'il s'agit de l'émulateur de terminal par défaut pour l'environnement de bureau Unity / Gnome, il pourrait y avoir un programme / script obscur qui l'utilise sans condition et vous aurez une erreur (probablement deux ans à partir de maintenant lorsque vous ne vous souvenez pas de ce qui peut avoir causé 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 update-alternativeméthode pour le 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 puis-je définir le terminal par défaut utilisé dans Unity?

Notez cependant qu'il y a un bogue / une erreur de la bibliothèque sous-jacente qui fait que toutes les choses qui utilisent le "open in terminal" ne respecteront pas la sélection ci-dessus. Le bug 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 de contournement à l'échelle du système pourrait être de supprimer le gnome-terminalbinaire et de le remplacer par un lien vers x-terminal-emulator--- devrait fonctionner la plupart du temps ...

Sinon, vous vous avez dans votre PATHle $HOME/binrépertoire avant /usr/bin (comme tout le monde a, je suppose) , vous pouvez simplement ln -s /usr/bin/terminator $HOME/bin/(pas de privilèges requis) et glib se fera un plaisir d' utiliser le lien au lieu du réel gnome-terminal.

Rmano
la source
+1 La dernière alternative a fonctionné pour moi après un redémarrage / déconnexion. C'était la solution la plus "non destructive" pour ce problème.
Md. Abu Taher
1

Il est probablement préférable de ne pas supprimer (comme lors de la désinstallation) le terminal par défaut (Gnome);

il est probablement préférable d'installer la nouvelle application d'émulation de terminal, puis de modifier les préférences dans Unity pour définir la nouvelle par défaut.

D' ici , ici et ici , et ma propre expérience

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

semble fonctionner pour définir l'application d'émulation de terminal par défaut dans Unity et dans Lubuntu.

WillC
la source
Suggestion: développez le deuxième paragraphe en incluant une capture d'écran, pour expliquer comment «modifier les préférences dans Unity» se fait via l'interface graphique. Jusqu'à présent, je n'ai pas encore vu une telle réponse.
clearkimura
0

Oui, il existe quelques méthodes pour retirer le terminal. Vous pouvez utiliser le Centre logiciel, 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.

mstfacmly
la source
2
Je ne le ferais vraiment pas. gnome-terminalest le terminal par défaut pour Unity et Gnome, et il est censé être là. Cela vous mordra parfois de manière inattendue. Ajoutez simplement les autres terminaux et utilisez la update-alternativesméthode pour sélectionner celui que vous souhaitez par défaut.
Rmano
@Rmano pouvez-vous expliquer la update-alternativesméthode? Désolé si je suis naïf, je suis un débutant.
Gibreel Abdullah
Quand j'ai rompu (accidentellement) l'unité, j'ai supprimé gnome-terminal entre autres choses, et il est en quelque sorte automatiquement passé à sakura, même ctrl + alt + T.Je ne le supprimerais certainement pas juste pour le plaisir d'expérimenter mon expérience suggère qu'il devrait être suffisamment sûr pour le système et qu'il devrait automatiquement basculer vers le prochain terminal disponible
Sergiy Kolodyazhnyy