Ctrl + Tabを使用してタブターミナルを切り替える方法
Ubuntu 14.04
そんなこと知ってる Ctrl + Pagedown/Pageup タブの切り替えに使用されますまた、[編集]> [キーボードショートカット]で変更することもできます。ショートカットを変更したい Ctrl + Tab （前方）および Ctrl + Shift + Tab （前）でも、そうさせてくれません。私はこれらのキーでタブを変更する習慣があります（ブラウザのように）。とにかくショートカットを変更する方法はありますか Ctrl + Tab？これまでのところ、私は `と〜（タブキーの真上）を使用して簡単にしています。しかし、タブは素晴らしいでしょう。
前もって感謝します
これは長年知られています。 this を参照すると、2007年のバグレポートには次のように記載されています。
上流からのコメント：
「修飾キーとは独立して、キーボードアクセラレータの候補ではないキーがいくつかあります。Tabは（修飾キーのさまざまな組み合わせで）gtkが独自の使用とウィンドウマネージャー用に予約しているため、これらのキーの1つです。
つまり、gnome-terminal Tab は特別なキーであり、ショートカットの一部として使用することはできません。
私が提案できる代替案は、割り当てることです Ctrl + Tab xdotool key Ctrl+Page_Downコマンドに。 xdotoolは、マウスの動作、キーの押下、ウィンドウ制御機能のシミュレーションを可能にするプログラムです（非常に用途の広いツール）。かなり頻繁に使用しているので、この時点でデフォルトでインストールされている場合は、Sudo apt-get install xdotoolでインストールする必要があります。基本的には Ctrl + Tab しかしxdotoolは Ctrl + Pg_Down。逆サイクリングのショートカットと同じアイデア。
大きな欠点は、これがグローバルなアクションであるということです。つまり、他のプログラムが Ctrl + Tab タブ切り替え用ではないショートカットは、間違いなくそのプログラムと競合します。別の欠点は、あなたが保持できないことです Ctrl 押し続けます Tab 繰り返します。ショートカット全体が一度に1回のみ機能します。