Public bug reported:
Hello,
fresh install Ubuntu 18.04 here.
# Bug description
When I try to change shortcuts in "Settings > Devices > Keyboard > Keyboard
Shortcuts", some specific key combinations don't take any effect. For example:
- CTRL+ALT+LEFT
- CTRL+ALT+RIGHT
- PrtSc
No mather what action I put these combinations to, the action is not run
when the combination is pressed.
# Workaround:
1) You have to disable some stuff with console magic like this:
$ gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "[]"
$ gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-right "[]"
$ gsettings set org.gnome.settings-daemon.plugins.media-keys screenshot ''
2) Now you can finally change the shortcuts in "Keyboard Shortcuts"
settings.
# The final thoughts
I understand there is some high-level technology why some shortcuts are
hard-wired to Ubuntu with "gsettings". But this high-level technology makes
"Keyboard Shortcuts" settings not working as every average user expects. Making
using Ubuntu experience painfull.
** Affects: ubuntu
Importance: Undecided
Status: New
** Tags: bug gnome shortcuts
** Description changed:
- Hello,
- fresh install Ubuntu 18.10 here.
-
+ Hello,
+ fresh install Ubuntu 18.04 here.
# Bug description
- When I try to change shortcuts in "Settings > Devices > Keyboard > Keyboard
Shortcuts", some specific key combinations don't take any effect. For example:
+ When I try to change shortcuts in "Settings > Devices > Keyboard > Keyboard
Shortcuts", some specific key combinations don't take any effect. For example:
- CTRL+ALT+LEFT
- CTRL+ALT+RIGHT
- PrtSc
No mather what action I put these combinations to, the action is not run
when the combination is pressed.
-
- # Workaround:
- 1) You have to disable some stuff with console magic like this:
+ # Workaround:
+ 1) You have to disable some stuff with console magic like this:
$ gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "[]"
$ gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-right
"[]"
$ gsettings set org.gnome.settings-daemon.plugins.media-keys screenshot ''
2) Now you can finally change the shortcuts in "Keyboard Shortcuts"
settings.
-
- # The final thoughts
+ # The final thoughts
I understand there is some high-level technology why some shortcuts are
hard-wired to Ubuntu with "gsettings". But this high-level technology makes
"Keyboard Shortcuts" settings not working as every average user expects. Making
using Ubuntu experience painfull.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1809933
Title:
Shortcut settings doesn't work as expected
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+bug/1809933/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
