Есть ли возможность добавить собственный ярлык, содержащий супер ключ.
Например, я добавляю «gnome-терминал» в качестве пользовательского ярлыка и хочу применить «Super + t». Это также показано, но не работает. (см. GNOME bugzilla )
Я прочитал, что вы должны заменить «Super» на «Mod4», но я не нашел расположение этого параметра в dconf.
Любые идеи?
Ответы:
У меня была такая же проблема после обновления. Путь dconf есть org/gnome/settings-daemon/plugins/media-keys. Предопределенные ярлыки живут там. Пользовательские ярлыки custom-keybindings/custom0находятся ниже (или custom1 и т. Д.).
Изменение <Super>в <Mod4>моих ярлыках исправили проблему.
Этот отчет об ошибке оболочки 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 - это просто! Ой, подожди ...
Имели ту же проблему под Debian Wheezy, и изменили "Super" на "Mod4" под dconf. Старые ярлыки возвращаются, но все равно довольно неприятно нажимать клавиши символов дважды.
В любом случае, спасибо! Надеюсь, они скоро это исправят ...