Как отключить 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