Desativa a tecla F6 no gnome / linux

Question

Eu tenho um bug muito chato onde meu teclado envia o comando F6 depois que eu pressiono a seta para cima. Eu não uso F6 para nada, então há algo que eu possa fazer para desativar a tecla F6? Desativar na inicialização é bom, de um script bash que pode desativar / ativar / alternar também é bom.

Obrigado!

    

Answer 1

Eu encontrei este link que parece resolver o problema. Observe que F6 é o código de acesso 72. Solução