Parece ter sido um problema antigo de teclado - apenas conectar outro teclado o corrigiu. Espero que eu não tenha desperdiçado tempo com isso.
Acabei de instalar o Ubuntu 12.04 Server (32 bits) em uma máquina antiga e tenho problemas para gravar o símbolo | (pipe). Não tenho uma interface gráfica instalada.
Meu teclado tem layout dinamarquês, e todos os outros símbolos além de | , que eu precisei, funcionam perfeitamente. Se eu mudar para, por exemplo Nos EUA, eu posso escrever | , mas claro, através de uma combinação que faz pouco sentido no meu teclado, e não consigo escrever símbolos dinamarqueses especiais que eu preciso.
Em /usr/share/X11/xkb/symbols/dk , sob a seção xkb_symbols "basic" , há a linha
key <AE12> { [ dead_acute, dead_grave, bar, brokenbar ] };
que, como eu vejo, aponta para a chave correta (5ª linha da parte inferior, 13ª da esquerda, à esquerda do backspace). Também as teclas agudas e graves funcionam.
Eu também tentei mudar para 'eliminar chaves mortas' (que tem uma linha semelhante) sem sucesso.
Não é que o AltGr esteja quebrado, pois funciona bem em outras combinações de teclas.
Alguma sugestão sobre o que pode estar errado?
Parece ter sido um problema antigo de teclado - apenas conectar outro teclado o corrigiu. Espero que eu não tenha desperdiçado tempo com isso.