Bagaimana cara mengganti tab di terminal Linux GNOME?

32

Saya suka membuka beberapa tab di terminal GNOME ketika saya bekerja. Di Firefox, Anda dapat beralih antar-tab menggunakan Ctrl-Tab atau Ctrl-Shift-Tab. Bagaimana cara mendapatkan fungsi yang sama di terminal GNOME?


sumber

Jawaban:

37

Ctrl+ PageDownuntuk Tab Berikutnya

Ctrl+ PageUpuntuk Tab Sebelumnya

untuk memindahkan tab ke kiri, coba Ctrl+ Shift+

Ye Lin Aung
sumber
19

Ini biasanya dipetakan ke CTRLPgUpdan CTRLPgDown.

Gunakan CTRLSHIFTPgUpdan CTRLSHIFTPgDownuntuk memindahkan tab di sekitar.

Dan terakhir, Anda dapat langsung mengakses sepuluh tab pertama ALT1, ALT2dll. ...

Benjamin Bannier
sumber
7

Pembaruan : Beberapa versi gnome-terminal (yang lebih baru?) Memiliki keyboard shortcutsdialog yang dapat diakses dari Editmenu - menghilangkan kebutuhan untuk menggunakan gconf-editor.


Anda dapat memodifikasi binding kunci untuk gnome-terminal menggunakan gconf-editor .

Lihat di bawah: apps / gnome-terminal / keybindings

Halaman manual untuk gconf-editor memberikan beberapa komentar menarik ...

GConf-Editor adalah alat yang digunakan untuk mengedit database konfigurasi GConf. Ini mungkin berguna ketika utilitas konfigurasi yang tepat untuk beberapa perangkat lunak tidak memberikan cara mengubah beberapa opsi.

dan

Alat ini memungkinkan Anda untuk mengedit database konfigurasi Anda secara langsung. Ini bukan cara yang disarankan untuk mengatur preferensi desktop. Gunakan alat ini dengan risiko Anda sendiri.


Catatan: GConfig-Editor mungkin tidak diinstal secara default. Untuk Debian / Ubuntu / Mint, instal dengan:

sudo apt-get install gconf-editor

Pengaturan contoh:

next_tab <Shift>Right
prev_tab <Shift>Left
bangsawan
sumber
Ubuntu-mate 18.04: mendapatkan SIGSEGV berulang kali ketika mencoba melakukan ini dengan Keyboard Shortcutsdari mate-terminal.
nobar
... Ini secara instan membunuh setiap instance terminal.
Nobar