Jak zamieniać tabulatory w terminalu Linux GNOME?

32

Podczas pracy lubię otwierać kilka kart w terminalu GNOME. W przeglądarce Firefox możesz przełączać się między kartami za pomocą Ctrl-Tab lub Ctrl-Shift-Tab. Jak uzyskać tę samą funkcjonalność w terminalu GNOME?


źródło

Odpowiedzi:

37

Ctrl+ PageDowndla następnej karty

Ctrl+ PageUpdla poprzedniej karty

aby przesunąć kartę w lewo, spróbuj Ctrl+ Shift+

Ye Lin Aung
źródło
19

Zazwyczaj jest to mapowane na CTRLPgUpi CTRLPgDown.

Użyj CTRLSHIFTPgUpi, CTRLSHIFTPgDownaby poruszać kartami.

I lastely można bezpośrednio przejść do zakładki z pierwszych dziesięciu ALT1, ALT2itp ...

Benjamin Bannier
źródło
7

Aktualizacja : Niektóre (nowsze?) Wersje terminalu gnome mają keyboard shortcutsokno dialogowe dostępne z Editmenu - eliminując potrzebę użycia gconf-editor.


Możesz modyfikować przypisania klawiszy dla gnome-terminal przy pomocy gconf-editor .

Zajrzyj pod: aplikacje / gnome-terminal / skróty klawiszowe

Strona podręcznika dla edytora gconf zawiera kilka interesujących komentarzy ...

GConf-Editor to narzędzie służące do edycji bazy danych konfiguracji GConf. Może to być przydatne, gdy odpowiednie narzędzie konfiguracyjne dla niektórych programów nie umożliwia zmiany niektórych opcji.

i

To narzędzie pozwala bezpośrednio edytować bazę danych konfiguracji. To nie jest zalecany sposób ustawiania preferencji pulpitu. Użyj tego narzędzia na własne ryzyko.


Uwaga: GConfig-Editor może nie zostać zainstalowany domyślnie. W przypadku Debian / Ubuntu / Mint zainstaluj z:

sudo apt-get install gconf-editor

Przykładowe ustawienia:

next_tab <Shift>Right
prev_tab <Shift>Left
nobar
źródło
Ubuntu-mate 18.04: wielokrotne pobieranie SIGSEGV podczas próby zrobienia tego z Keyboard Shortcutsmate-terminal.
nobar
... To natychmiast zabija każdą instancję terminala.
nobar