Está funcionando agora. Aqui está tudo o que eu mudei, talvez ajude alguém:
- Alterou o tipo de teclado para Genérico, 105 teclas, int. , usando o comando
sudo dpkg-reconfigure keyboard-configuration
. - Removeu todas as origens de entrada para usar da lista, exceto uma.
- Finalmente, em Configurações do sistema > Teclado > Atalhos > Digitando , defina Chave de caracteres alternativos para Desativado .