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?
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?
Ctrl+ PageDowndla następnej karty
Ctrl+ PageUpdla poprzedniej karty
aby przesunąć kartę w lewo, spróbuj Ctrl+ Shift+←
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 ...
Aktualizacja : Niektóre (nowsze?) Wersje terminalu gnome mają keyboard shortcuts
okno dialogowe dostępne z Edit
menu - 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
Keyboard Shortcuts
mate-terminal.