¿Cómo alterno pestañas en el terminal GNOME de Linux?

32

Me gusta abrir varias pestañas en el terminal de GNOME cuando trabajo. En Firefox, puedes cambiar entre pestañas usando Ctrl-Tab o Ctrl-Shift-Tab. ¿Cómo obtengo la misma funcionalidad en el terminal GNOME?


fuente

Respuestas:

37

Ctrl+ PageDownpara la siguiente pestaña

Ctrl+ PageUppara la pestaña anterior

para mover la pestaña hacia la izquierda, intente Ctrl+ Shift+

Ye Lin Aung
fuente
19

Esto generalmente se asigna a CTRLPgUpy CTRLPgDown.

Use CTRLSHIFTPgUpy CTRLSHIFTPgDownpara mover pestañas.

Y por último, puede acceder directamente a las primeras diez pestañas con ALT1, ALT2etc.

Benjamin Bannier
fuente
7

Actualización : Algunas versiones (¿más nuevas?) De gnome-terminal tienen un keyboard shortcutscuadro de diálogo accesible desde el Editmenú, lo que elimina la necesidad de usar gconf-editor.


Puede modificar las asociaciones de teclas para gnome-terminal usando gconf-editor .

Mire debajo: apps / gnome-terminal / keybindings

La página de manual para gconf-editor ofrece algunos comentarios interesantes ...

GConf-Editor es una herramienta utilizada para editar la base de datos de configuración de GConf. Puede ser útil cuando la utilidad de configuración adecuada para algún software no proporciona una forma de cambiar alguna opción.

y

Esta herramienta le permite editar directamente su base de datos de configuración. Esta no es la forma recomendada de configurar las preferencias de escritorio. Utilice esta herramienta bajo su propio riesgo.


Nota: GConfig-Editor no puede instalarse de manera predeterminada. Para Debian / Ubuntu / Mint, instale con:

sudo apt-get install gconf-editor

Configuraciones de ejemplo:

next_tab <Shift>Right
prev_tab <Shift>Left
sin bar
fuente
Ubuntu-mate 18.04: obtener SIGSEGV repetidamente al intentar hacer esto Keyboard Shortcutsdesde mate-terminal.
nobar
... Esto mata instantáneamente cada instancia de terminal.
nobar