gnome-terminal and I need to free all the F keys because I need to remap them to something else inside
vim, how I can do that?
I'm running Ubuntu 13.04.
Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. It only takes a minute to sign up.Sign up to join this community
Unless you want to modify the sources, no you can't. The F1 is hard set to help pages for most (if not all applications), F10 can be disabled but you will still get the
~ in the underlying shell. This is observable on the TTY, also.
It is not hardcoded (though some of the programs you run inside the terminal may be).
Checking Ubuntu 13.04, its version of gnome-terminal is 3.61, which supports the dialog for modifying keyboard shortcuts: