Linux GNOME ターミナルでタブを切り替えるにはどうすればいいですか?

Linux GNOME ターミナルでタブを切り替えるにはどうすればいいですか?

作業中は GNOME ターミナルで複数のタブを開くのが好きです。Firefox では、Ctrl + Tab または Ctrl + Shift + Tab を使用してタブを切り替えることができます。GNOME ターミナルで同じ機能を実現するにはどうすればよいでしょうか?

答え1

Ctrl+PageDown次のタブ

Ctrl+PageUp前のタブ

タブを左に移動するには、Ctrl+ Shift+を押します。

答え2

これは通常、CTRLPgUpおよび にマッピングされますCTRLPgDown

タブを移動するには、CTRLSHIFTPgUpと を 使用します。CTRLSHIFTPgDown

そして最後に、 などを使用して最初の 10 個のタブに直接アクセスすることもでき ALT1ますALT2

答え3

アップデート: gnome-terminal の一部 (新しい?) バージョンでは、メニューkeyboard shortcutsからアクセスできるダイアログが用意されておりEdit、 を使用する必要がなくなりますgconf-editor


gnome-terminalのキーバインディングを変更するには、gconf エディター

以下をご覧ください:アプリ/gnome-terminal/キーバインド

gconf-editor のマニュアルページには興味深いコメントがいくつか記載されています...

GConf-Editor は、GConf 構成データベースを編集するために使用されるツールです。一部のソフトウェアの適切な構成ユーティリティで一部のオプションを変更する方法が提供されていない場合に便利です。

そして

このツールを使用すると、構成データベースを直接編集できます。これはデスクトップの設定方法として推奨されるものではありません。このツールは自己責任で使用してください。


注意: GConfig-Editor はデフォルトではインストールされない場合があります。Debian/Ubuntu/Mint の場合は、次のコマンドでインストールします。

sudo apt-get install gconf-editor

設定例:

next_tab <Shift>Right
prev_tab <Shift>Left

関連情報