web-dev-qa-db-ja.com

Linux GNOME端末でタブを切り替えるにはどうすればよいですか？

作業中にGNOME端末でいくつかのタブを開くのが好きです。 Firefoxでは、Ctrl-TabまたはCtrl-Shift-Tabを使用してタブを切り替えることができます。 GNOME端末で同じ機能を使用するにはどうすればよいですか？

keyboard-shortcutsterminalgnome
32
user34094

Ctrl+PageDown 次のタブ

Ctrl+PageUp 前のタブ

タブを左に移動するには、 Ctrl+Shift+←

37
Ye Lin Aung

これは通常、 CTRLPgUp そして CTRLPgDown。

使用する CTRLSHIFTPgUp そして CTRLSHIFTPgDown タブを移動します。

最後に、最初の10個のタブに直接アクセスできます。 ALT1、 ALT2 など...

19
Benjamin Bannier

更新：いくつかの（新しい？）バージョンのgnome-terminalには、Editメニューからアクセスできるkeyboard shortcutsダイアログがあり、gconf-editorを使用する必要がありません。

gconf-editorを使用して、gnome-terminalのキーバインディングを変更できます。

下を見てください：apps/gnome-terminal/keybindings

Gconf-editorのmanページには、興味深いコメントがいくつかあります...

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

そして

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

注：GConfig-Editorはデフォルトではインストールされない場合があります。 Debian/Ubuntu/Mintの場合は、次のようにインストールします。

Sudo apt-get install gconf-editor

設定例：

next_tab <Shift>Right
prev_tab <Shift>Left
7
nobar