Oh, Ubuntu overrides the default shortcut to Ctrl+Alt+L (and Ubuntu GNOME overrode that back to Super+L)
https://bazaar.launchpad.net/~ubuntu-desktop/+junk/ubuntu-settings/view/head:/debian/ubuntu-settings.gsettings-override#L105
org.gnome.settings-daemon.plugins.media-keys screensaver
See also LP: #830709
Oh, Ubuntu overrides the default shortcut to Ctrl+Alt+L (and Ubuntu GNOME overrode that back to Super+L)
https:/ /bazaar. launchpad. net/~ubuntu- desktop/ +junk/ubuntu- settings/ view/head: /debian/ ubuntu- settings. gsettings- override# L105
org.gnome. settings- daemon. plugins. media-keys screensaver
See also LP: #830709