Era um problema de cache.
Corrigi o problema removendo os arquivos xkm em /var/lib/xkm
.
sudo rm /var/lib/xkb/*.xkm
E, em seguida, reinicializar (não sei como regenerar os arquivos de cache sem fazer isso).
Eu personalizei o layout do meu teclado alterando uma linha em /usr/share/X11/xkb/symbols/da
(assim, a minha chave de um centavo agora é um dólar - mais fácil ao codificar no PHP).
Meu problema é que essa mudança não é lembrada pelo Ubuntu quando eu reinicializo - o arquivo não é alterado, mas a chave agora está novamente ativa.
Se eu entrar no "Layout do Teclado" nas configurações do sistema e depois adicionar um idioma aleatório e removê-lo novamente, meu layout estará de volta.
Existe algum tipo de cache que eu preciso atualizar?
Era um problema de cache.
Corrigi o problema removendo os arquivos xkm em /var/lib/xkm
.
sudo rm /var/lib/xkb/*.xkm
E, em seguida, reinicializar (não sei como regenerar os arquivos de cache sem fazer isso).