If you use KDE, go to Control Center-> Regional & Accessibility-> Keyboard Layout-> xkb options, click "Enable xkb options" and there are some options under "Ctrl key position"
Thanks InYourBase for the KDE tip! I am xmodmap aware, but KDE supercedes XModmap modifications, and I would never haved found these options by myself. You made my day :-)
Comment
If you use KDE, go to Control Center-> Regional & Accessibility-> Keyboard Layout-> xkb options, click "Enable xkb options" and there are some options under "Ctrl key position"
Replies
Thanks InYourBase for the KDE tip!
I am xmodmap aware, but KDE supercedes XModmap modifications, and I would never haved found these options by myself.
You made my day :-)