Цей звіт про помилку gnome-shell визначає проблему із клавішами клавіш Super + Key, а також детально описує хиткий спосіб вирішення проблеми (що повністю вирішує проблему для мене!):
https://bugzilla.gnome.org/show_bug.cgi?id=659899
По суті, проблема полягає в тому, що користувацькі ярлики обробляються gnome-settings-daemon, який не підбирає клавішу Super належним чином. Диспетчер вікон (у цьому випадку муркотить) може бачити клавішу Super. Отож, Олів'є Крит написав розширення, яке читає ваші власні визначення ярликів і передає їх на зміну. Я встановив розширення, і він чудово працює для мене. Не потрібне подвійне натискання клавіш, як це говорили деякі попередні коментатори.
Розширення відсутнє на офіційному веб-сайті розширень gnome, оскільки воно було відхилено (ви можете прочитати тут веселі огляди: https://extensions.gnome.org/review/1658 ... очевидно, у рецензентів виникають проблеми з розумінням читання! ). Однак ви можете завантажити розширення через коментар 33 у звіті про помилку.
Розпакуйте файл у каталог ~ / .local / share / gnome-shell / extensions, перезапустіть gnome-shell (Alt + F2, r) та запустіть інструмент налаштування Gnome Tweak та увімкніть розширення. Тоді вам слід добре піти.
EDIT: Ще одне. Якщо у вас є більше 6 спеціальних ярликів та активовано це розширення, оболонка gnome вибухне. Жорсткі коди розширення для підтримки 10 ярликів, але лише скомпільована підтримка для 6. Щоб додати підтримку довільної кількості ярликів, у каталозі схем відредагуйте файл org.gnome.shell.extensions.command-keybindings.gschema.xml та скопіюйте / вставте більше обов'язкових елементів (слід зрозуміти, як це зробити - просто переконайтеся, що посилити прив’язку - #). Потім у каталозі схем запустіть "glib-compile-schemas." Нарешті, у файлі extension.js знайдіть рядок "для (нехай i = 0; i <10; i ++)" та змініть 10 на кількість встановлених вами загальних прив'язок. Тепер у вас повинна бути підтримка набагато більше спеціальних ярликів. Фу! Ніхто не сказав, що Gnome 3 був легким! Зачекайте...