Fixing Gnome 3.2x hardcoded <Super>+<F1> shortcut
Ubuntu 18.04 LTS is finally out, and with it you now have Gnome out of the box. I’ve been using Gnome for several years, and have enjoyed its minimalism. It took me some time to make it work like I wanted (keyboard, extensions, application menu, etc), but I’m quite happy with everything. Or almost everything. One thing I enjoyed over the years was the ability to customize my keyboard shortcuts. I have dozens of shotcuts - to center windows on my screen, to open programs, start and stop Spotify, to run macros, to log in to my remote servers, and so on. ...