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?
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?
Ctrl+ PageDownuntuk Tab Berikutnya
Ctrl+ PageUpuntuk Tab Sebelumnya
untuk memindahkan tab ke kiri, coba Ctrl+ Shift+←
Ini biasanya dipetakan ke CTRLPgUpdan CTRLPgDown.
Gunakan CTRLSHIFTPgUpdan CTRLSHIFTPgDownuntuk memindahkan tab di sekitar.
Dan terakhir, Anda dapat langsung mengakses sepuluh tab pertama ALT1, ALT2dll. ...
Pembaruan : Beberapa versi gnome-terminal (yang lebih baru?) Memiliki keyboard shortcuts
dialog yang dapat diakses dari Edit
menu - 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
Keyboard Shortcuts
dari mate-terminal.