On Mon, Apr 06, 2020 at 03:22:29AM +0200, pelzflorian (Florian Pelz) wrote: > That is, instead of patching xorg-server, you would patch > xkeyboard-config’s xkb/symbols.
I believe patching the keymaps in xkeyboard-config is the best solution. Regards, Florian