gnome-terminal
のキーボードショートカット(Ctrl+Tab そして Ctrl+Shift+Tab)12.04では動作していないようです。知らない設定はありますか?
残念ながらショートカットを割り当てる TAB キーはGnomeにはありません(何らかの理由で)。したがって、これは機能しません。
これを設定する方法は、ターミナル自体からgsettings
を設定することです(2つのコマンド):
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ next-tab '<Primary>Tab'
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ prev-tab '<Primary><Shift>Tab'
ソース: バグレポートの最後のコメント
dconf Editor を使用します。デフォルトでインストールされていない場合は、Sudo apt-get install dconf-tools
で取得できます。ショートカットは、Org> Gnome> Terminal> Legacy> Keybindingsで変更できます。
これはUbuntu Gnome 16.04で機能します。リファレンス: https://bugzilla.gnome.org/show_bug.cgi?id=738325
つかいます Ctrl+PageUP そして Ctrl+PageDown (いらいらしますが、それは私たちが持っているものです)。