Поскольку я не смог указать некоторые сочетания клавиш (например, заблокировать компьютер и показать рабочий стол - мои изменения игнорировались после перезагрузки) через системные настройки Ubuntu, я установил compizconfig-settings-manager и xbindkeys.
К сожалению, это вызвало поломку некоторых других ярлыков, и теперь я не могу, например, перемещаться между рабочими пространствами.
Я уже подтвердил как с помощью редактора dconf, так и org.gnome.desktop.wm.keybindings и compizconfig-settings-manager, что записи move-to-workspace- * имеют правильную конфигурацию, однако ярлыки не работают даже после сброса и перезагрузки.
Я также удалил compizconfig-settings-manager и xbindkeys, ожидая, что это решит новую проблему, но этого не произошло. Кроме того, я просмотрел руководство по устранению неполадок с горячими клавишами ( https://wiki.ubuntu.com/Hotkeys/Trou устранение неполадок ) и подтвердил, что события нажатия клавиш правильно идентифицируются.
Есть ли какой-либо «детерминированный» способ настройки ярлыков в Ubuntu 13.10 или, по крайней мере, их отладка, чтобы я знал, что заставляет их игнорироваться?