<Mr.ElectroNick>
/* personal website */

Как отключить F10 и меню в терминале (Unity, Gnome, Cinnamon/Mint)

Не под рутом, находясь в своем home фолдере, в консоли делаем следующее:

$ mkdir -p ~/.config/gtk-3.0
$ cat< ~/.config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
     unbind "F10"
}
* {
     gtk-key-bindings: NoKeyboardNavigation
}
EOF

Мне помогло :-)

Еще варианты расписаны тут: http://askubuntu.com/questions/37313/how-do-i-deactivate-f1-and-f10-keybindings-in-gnome-terminal