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?

Odpowiedzi:


37

Ctrl+ PageDowndla następnej karty

Ctrl+ PageUpdla poprzedniej karty

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


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 ...


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

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
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.