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?

Jawaban:


37

Ctrl+ PageDownuntuk Tab Berikutnya

Ctrl+ PageUpuntuk Tab Sebelumnya

untuk memindahkan tab ke kiri, coba Ctrl+ Shift+


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


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

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
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.