¿Es posible eliminar el terminal predeterminado y reemplazarlo con algún otro terminal (como terminador o terminología)?


12

Algunos terminales no predeterminados tienen características adicionales como dividir ventanas, etc. Siempre podemos usar esos terminales sin desinstalar el original, pero ¿hay alguna forma de eliminar el original?

EDITAR: algunos comentarios dicen que no es aconsejable eliminar el Terminal gnome. ¿Cuáles pueden ser las repercusiones?


1
¿Por qué quieres eliminar el original? conserva el original e instala lo que quieras.
αғsнιη

@KasiyA No quiero desperdiciar espacio en el disco en cosas que nunca podría usar.
Gibreel Abdullah

Respuestas:


20

No lo quitaría Dado que es el emulador de terminal predeterminado para el entorno de escritorio Unity / Gnome, podría haber algún programa / script oscuro que lo use incondicionalmente y tendrá un error (probablemente dentro de dos años cuando no recuerde qué puede haber causado eso).

La forma preferida es:

  1. Instale el nuevo emulador de terminal, por ejemplo

    sudo apt-get install terminator
    
  2. Establezca el update-alternativemétodo para elegirlo:

    [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:
    

... y eso debería ser. Si tiene problemas, puede mirar aquí: ¿Cómo puedo configurar el terminal predeterminado utilizado en Unity?

Sin embargo, tenga en cuenta que hay un error / mal funcionamiento de la biblioteca subyacente que hace que todas las cosas que usan "abrir en terminal" no respeten la selección anterior. El error fue reportado y reconocido en 2010, hay un parche disponible, pero todavía está aquí. No aguantaría la respiración por una solución.

Una solución alternativa para todo el sistema podría ser eliminar el gnome-terminalbinario y reemplazarlo con un enlace a x-terminal-emulator--- debería funcionar la mayor parte del tiempo ...

Como alternativa, que tiene en su PATHel $HOME/bindirectorio antes /usr/bin (como todo el mundo tiene, supongo) puede simplemente ln -s /usr/bin/terminator $HOME/bin/(sin privilegios es necesario) y simplista va a usar felizmente el enlace en lugar de lo real gnome-terminal.


1

Probablemente sea mejor no eliminar (como en la desinstalación) el terminal predeterminado (Gnome);

probablemente sea mejor instalar la nueva aplicación de emulador de terminal y luego cambiar las preferencias en Unity para establecer la nueva como predeterminada.

De aquí , de aquí y de aquí , y mi propia experiencia.

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

parece funcionar para configurar la aplicación de emulador de terminal predeterminada en Unity y en Lubuntu.


Sugerencia: expanda el segundo párrafo incluyendo una captura de pantalla, para explicar cómo "cambiar las preferencias en Unity" se realiza a través de la GUI. Hasta ahora no he visto esa respuesta todavía.
clearkimura

0

Sí, hay algunos métodos para eliminar el terminal. Puede usar el Centro de software y buscar Terminal, luego desinstalarlo.

Alternativamente, puede usar una aplicación de terminal (como Guake o Terminator, por ejemplo) para eliminar el original con este comando:

sudo apt-get remove gnome-terminal

¡Simple como eso!

Espero que esto ayude.


2
Realmente no lo haría. gnome-terminales el terminal predeterminado para Unity y Gnome, y se supone que debe estar allí. Te morderá en algún momento de maneras inesperadas. Simplemente agregue los otros terminales y use el update-alternativesmétodo para seleccionar el que desea de forma predeterminada.
Rmano

@Rmano, ¿puedes explicar el update-alternativesmétodo? Lo siento si soy ingenuo, soy un novato.
Gibreel Abdullah

Cuando rompí (accidentalmente) la unidad, eliminé gnome-terminal, entre muchas otras cosas, y de alguna manera cambió automáticamente a sakura, incluso ctrl + alt + T. Definitivamente no lo eliminaría solo por experimentar, pero mi experiencia sugiere que debería ser lo suficientemente seguro para el sistema y debería cambiar automáticamente al siguiente terminal disponible
Sergiy Kolodyazhnyy
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.