作業中にGNOMEターミナルでいくつかのタブを開くのが好きです。Firefoxでは、Ctrl-TabまたはCtrl-Shift-Tabを使用してタブを切り替えることができます。GNOME端末で同じ機能を取得するにはどうすればよいですか？
作業中にGNOMEターミナルでいくつかのタブを開くのが好きです。Firefoxでは、Ctrl-TabまたはCtrl-Shift-Tabを使用してタブを切り替えることができます。GNOME端末で同じ機能を取得するにはどうすればよいですか？
回答:
これは通常にマッピングされているCTRLPgUpと CTRLPgDown。
CTRLSHIFTPgUpおよびCTRLSHIFTPgDownを使用し てタブを移動します。
最後にALT1、ALT2などで最初の10個のタブに直接アクセスできます ...
更新：いくつかの（新しい？）バージョンのgnome-terminalにはkeyboard shortcuts、Editメニューからアクセス可能なダイアログがあります-を使用する必要がなくなりますgconf-editor。
gconf-editorを使用してgnome-terminalのキー割り当てを変更できます。
下を見てください：apps / gnome-terminal / keybindings
gconf-editorのマンページには、興味深いコメントが記載されています...
GConf-Editorは、GConf構成データベースの編集に使用されるツールです。一部のソフトウェアの適切な設定ユーティリティが一部のオプションを変更する方法を提供しない場合に役立つ場合があります。
そして
このツールを使用すると、構成データベースを直接編集できます。これは、デスクトップ設定の推奨される方法ではありません。このツールは自己責任で使用してください。
注：GConfig-Editorはデフォルトではインストールされない場合があります。Debian / Ubuntu / Mintの場合：
sudo apt-get install gconf-editor
設定例：
next_tab <Shift>Right
prev_tab <Shift>Left
Keyboard Shortcutsmate-terminalからSIGSEGVを繰り返して取得しようとしています。