Why GNOME keybindings silently resist customization
Note: This relates GNOME Shell 3.10 in Ubuntu 14.04. Other versions may differ and YMMV. The keybindings of GNOME Shell can be changed using the system settings windows…
brokkr.netlooking for linux in all the wrong places