Сначала задайте миру «Терминал», чтобы он отображался в заголовке окна вашего gnome-терминала. Для этого, находясь в gnome-терминал, перейдите в « Правка» → « Настройки профиля» , выберите вкладку « Заголовок и команда » и убедитесь, что в поле « Начальный заголовок» содержится слово «Терминал»:
Во-вторых, добавьте новый пользовательский ярлык клавиатуры для следующей команды:
bash -c "[[ \"$(cat /proc/$(xdotool getwindowpid $(xdotool getwindowfocus))/comm)\" != \"gnome-terminal\" ]] && wmctrl -a Terminal || xdotool key Alt+grave"
Для этого перейдите в « Настройки системы» → « Клавиатура» , вкладка « Ярлыки », выберите « Пользовательский ярлык» и добавьте новый пользовательский ярлык:
Как видите, я выбрал в качестве сочетания F8клавиш, который отлично работает в этом случае для меня.
Примечание : wmctrl
и xdotool
должен быть установлен, чтобы использовать их. Если они не установлены, вы можете установить их с терминала, используя:
sudo apt-get install wmctrl xdotool