Ubuntu16.04/Gnome: How to swap AltGr and Ctrl right at keyboard?

Question

My keyboard key of AltGr does not work anymore. I want rebind the functionality of AltGr to Ctrl_R.

What is the easiest way to rebind AltGr to Ctrl_R?

OS: Ubuntu 16.04 Desktop: Gnome 3

I tried to use xmodmap with the following configuration:

!Swap right control and right alt
remove Control = Control_R
remove Mod1 = Alt_R
keycode 105 = Alt_R
keycode 108 = Control_R
add Control = Control_R
add Mod1 = Alt_R

But I always get the following error:

> xmodmap .Xmodmap
xmodmap:  .Xmodmap:3:  bad keysym in remove modifier list 'Alt_R', no corresponding keycodes

Moreover, the configuration of xmodmap is persistent throughout several restarts.

---

Related Questions

• How to bind Alt+Arrows to PageUp/PageDown?

• remap right alt to behave as right ctrl

Answer 1

If the functionality of AltGr for your keyboard layout is to access third level symbols of various keys, I suggest that you run this command:

setxkbmap -option lv3:switch

If it does what you want, you can make the change permanent by opening /etc/default/keyboard for editing and changing the line

XKBOPTIONS=""

to

XKBOPTIONS="lv3:switch"