Eu não posso receber o crédito por esta resposta: é alguém responde a sua mesma pergunta em outro fórum , mas estou postando a resposta aqui porque me ajudou, e askubuntu foi o primeiro lugar que eu olhei.
$ setxkbmap -print -verbose 10 informa sobre sua configuração do xkb.
A saída inclui quais códigos de teclas estão sendo usados pelo seu hardware. Na verdade, pode haver mais de um em uso: conjuntos parciais de códigos de arquivos diferentes são concatenados e expressos na saída usando um sinal + .