Dell notebooks in Brazil and possibly other countries no longer ship with a right control key.
This is bad for ergonomics, so I would like to set the context menu key to function as right control.
How may this be done?
Enter System Settings > Keyboard Layout (in Personal group). Open Layouts tab (if you have multiple layouts), press Options... button. There you can find Ctrl key position group. Check Menu as Right Control button, then apply new settings.
Update: in the newer systems you may need to install GNOME Tweaks to adjust advanced configuration settings (link).
For KDE: run System Settings, open Input devices in Hardware group and in Keyboard section open Advanced tab. There you can find the same Ctrl key position group with Menu as Right Control button checkbox.
