Bug#673612: Ugly work-around and some notes

[Raphael Hertzog]

Hello,

after a big of digging, you can force Gnome Shell to not grab the
Super key with this:
gsettings set org.gnome.mutter overlay-key ''

(The original value is 'Super_L', if you want to restore it)

But if you recreated the custom shortcut, they show up as "<Super><key>"
they still won't work. You can use dconf-editor to edit them
and you need to put "<Mod4><key>" (eg "<Mod4>t") in the relevant field
(org.gnome.settings-daemon.plugins.media-keys.custom-keybindings.*.binding).

Strangely they then appear as "Mod4+Super+Hyper+<key>" in
gnome-control-center.

Cheers,
-- 
Raphaël Hertzog ◈ Debian Developer

Get the Debian Administrator's Handbook:
→ http://debian-handbook.info/get/