Как мне чередовать вкладки в терминале Linux GNOME?

32

Мне нравится открывать несколько вкладок в терминале GNOME, когда я работаю. В Firefox вы можете переключаться между вкладками, используя Ctrl-Tab или Ctrl-Shift-Tab. Как получить такую ​​же функциональность в терминале GNOME?


источник

Ответы:

37

Ctrl+ PageDownдля следующей вкладки

Ctrl+ PageUpдля предыдущей вкладки

чтобы переместить вкладку влево, попробуйте Ctrl+ Shift+

Е Лин Аунг
источник
19

Это обычно отображается на CTRLPgUpи CTRLPgDown.

Используйте CTRLSHIFTPgUpи CTRLSHIFTPgDownдля перемещения вкладок.

И lastely, вы можете получить прямой доступ к первой вкладке десять с ALT1, и ALT2т.д. ...

Бенджамин Банье
источник
7

Обновление : Некоторые (более новые?) Версии gnome-терминала имеют keyboard shortcutsдиалоговое окно, доступное из Editменю, что исключает необходимость использования gconf-editor.


Вы можете изменить привязки клавиш для gnome-терминала, используя gconf-editor .

Смотрите под: apps / gnome-terminal / keybindings

Страница man для gconf-editor предоставляет несколько интересных комментариев ...

GConf-Editor - это инструмент, используемый для редактирования базы данных конфигурации GConf. Это может быть полезно, когда правильная утилита конфигурации для какого-либо программного обеспечения не позволяет изменить какую-либо опцию.

а также

Этот инструмент позволяет напрямую редактировать базу данных конфигурации. Это не рекомендуемый способ установки настроек рабочего стола. Используйте этот инструмент на свой страх и риск.


Примечание: GConfig-Editor не может быть установлен по умолчанию. Для Debian / Ubuntu / Mint установите с помощью:

sudo apt-get install gconf-editor

Пример настроек:

next_tab <Shift>Right
prev_tab <Shift>Left
nobar
источник
Ubuntu-mate 18.04: неоднократно получать SIGSEGV при попытке сделать это с помощью Keyboard Shortcutsmate-терминала.
Нобар
... Это мгновенно убивает каждый терминал.
Нобар