1

I've been using workspaces with gnome and Ubuntu 18.04, and I would like to change the shortcuts to switch workspaces. I've seen that dconf-editor has an option to do it in org > gnome > desktop > wm > keybindings, and the default is

Control + Alt + Arrow keys.

For some reason, this Alt only works with the Left Alt and not Right Alt. I would like to switch it for Right Alt, since then I may only use one hand. Did anyone try to do the same thing? I appreciate any ideas.

One last thing, when I run xev in the terminal Right Alt appears as ISO_LEVEL3_SHIFT, so I'm guessing that the name of some keys in Ubuntu are non-standard.

Thank you!

Improve this question
5
  • Have you tried keyboard> shortcuts> navigation> switch workspaces???
    – Vitor Abella
    Sep 11, 2018 at 17:12
  • Thanks for the suggestion. The option settings> devices> keyboard> shortcuts> navigation> move workspaces, only allow moving up and down in the grid, and they don't seem to register the right alt key to define a shortcut. So, this doesn't do what I wanted.
    – João Matias
    Sep 12, 2018 at 22:04
  • So try to map left alt to right alt using xmodmap.
    – Vitor Abella
    Sep 13, 2018 at 14:41
  • Use xmodmap part of my answer to discover and remap right alt. askubuntu.com/a/1070272/530032
    – Vitor Abella
    Sep 13, 2018 at 14:46
  • that's also not an option, because I need the function of the right alt key to write some symbols/characters. Thank you for the suggestion!
    – João Matias
    Sep 17, 2018 at 23:44

1 Answer 1

Reset to default
0

This post provides a few options to fix the problem:

https://bbs.archlinux.org/viewtopic.php?pid=1936999#p1936999

The simplest option seems to be to go to Gnome Settings => Keyboard Shortcuts => Alternate Characters Key and select a key other than Right Alt. Then the Right Alt key will start working again for the change workspace shortcut.

Improve this answer

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .