Ubuntu, gnome-terminal и кнопка F10

Отличное руководство как избавиться от перехвата кнопки F10 в gnome-terminal (и не только):
http://askubuntu.com/questions/37313/how-do-i-deactivate-f1-and-f10-keybindings

Возможно попозже переведу на русский, главное не забыть =)