Na verdade eu descobri! Quando pressiono AltGr + Espaço , é inserido um espaço não separável, que parece exatamente como um espaço ... mas não é um .
Em um teclado francês, o caractere pipe é inserido usando AltGr + 6 . O que acontece é que algumas vezes o AltGr ainda está inativo quando eu pressiono o Espaço , razão pela qual esse caractere de espaço "ruim" é inserido.
Este problema tem um relatório de erros no launchpad. A solução sugerida é usar o seguinte comando para que nenhum espaço não separável seja inserido:
setxkbmap -option "nbsp:none"
Para fazê-lo permanentemente, adicionei a linha em .bashrc
e funciona bem! Note que fazer isso em .profile
não funciona (eu acho que se não estiver em .bashrc
o shell substitui na inicialização)