Barrapunto

Gracias a los dos por haber dado alguna sugerencia.

Tom Bomba. Siento dar pocos datos, pero es lo poco que he podido averiguar. Igual hasta estoy equivocado y no es un problema del terminal, pero es el primer sitio y el más lógico que se me ocurre mirar.

pax01. Sobre lo de cambiar el mapa de teclado, dudo que sea eso, pero lo probaré. El problema es que si lo cambio puedo estropear el resto de la aplicación, que necesita de la interacción del usuario para introducir muchos mas datos, así que no puedo dejar el teclado en un estado inservible.

Sobre lo de leer directamente de /dev/console, dudo mucho que desde Java se pueda, y si se puede, dudo de que sea muy portable.

Aun así, gracias a los dos por aportar algo.

Voy a mirar por inputrc por si hubiese manera de redefinir esas secuencias a mano, quizá sea una posible solución.