Hey everyone, I still have a small ‘xmodmap’ configuration which is working for me, and I'm not changing it. However, I think for most use cases, it's better to use XKB-extension and its utilities. I mean, right?
-- Best Regards, Abraham Sent with Tutanota; https://tuta.com