A minha chave ↓ morreu esta noite. Enquanto aguardo por um novo teclado, eu estou usando a resposta aqui para mapear a direita Ctrl (código de chave 105) para que ela atue como ↓ :
Como faço o remapeamento de certas chaves ou dispositivos?
Longa história curta:
xmodmap -e "keycode 105 = Down"
Eu, então, ativei a repetição:
xset r 105
Este último comando parece funcionar em alguns casos (esta caixa de entrada), mas não muitos outros (a repetição não funcionará para rolagem no Chrome, nem na entrada do terminal.
Alguma dica sobre o porquê?