Этот отчет об ошибке оболочки gnome обрисовывает в общих чертах проблему с сочетаниями клавиш Super+Key и детализирует хакерский обходной путь (который полностью решает проблему для меня!):
https://bugzilla.gnome.org/show_bug.cgi?id=659899
По сути, проблема в том, что пользовательские ярлыки обрабатываются демоном gnome-settings-daemon, который неправильно подбирает ключ Super. Оконный менеджер (в данном случае, бормочет) может видеть Супер ключ. Итак, Оливье Крит написал расширение, которое считывает ваши пользовательские определения ярлыков и передает их бормотанию. Я установил расширение, и оно прекрасно работает для меня. Нет необходимости в двойном нажатии клавиш, как говорили некоторые из предыдущих комментаторов.
Расширение отсутствует на официальном сайте расширений gnome, потому что оно было отклонено (вы можете прочитать веселые обзоры здесь: https://extensions.gnome.org/review/1658 ... очевидно, у рецензентов есть проблемы с пониманием чтения!). Однако вы можете скачать расширение через комментарий 33 в отчете об ошибке.
Разархивируйте файл в каталог ~/.local/share/gnome-shell/extensions, перезапустите gnome-shell (Alt+F2, r), запустите Gnome Tweak Tool и включите расширение. Тогда тебе следует идти.
РЕДАКТИРОВАТЬ: еще одна вещь. Если у вас есть более 6 пользовательских ярлыков и вы активируете это расширение, оболочка gnome взорвется. Расширение жестких кодов в поддержку 10 ярлыков, но только скомпилированная поддержка для 6. Чтобы добавить поддержку произвольного числа ярлыков, в каталоге схем отредактируйте файл org.gnome.shell.extensions.command-keybindings.gschema.xml и скопируйте / вставьте больше привязок (должно быть понятно, как это сделать. только убедитесь, что увеличен переплет #). Затем в каталоге схем запустите «glib-compile-schemas». Наконец, в файле extension.js найдите строку «for (let i = 0; i <10; i++)» и измените 10 на общее количество установленных вами привязок. Теперь у вас должна быть поддержка гораздо большего количества пользовательских ярлыков. Уф! Никто не говорил, что Gnome 3 - это просто! Ой, подожди ...