For example, to disable <F1> shortcut in Gnome Terminal (in order to pass it to, say Vim), do the following:
- Go to System > Preferences > Apperance, Interface tab, make sure that ‘Editable meny shortcut keys’ enabled.
- In application window, Gnome Terminal in our example, click Help > highlight ‘Content’ and press ‘backspace’. The key designation after the ‘Content’ will disappear. You can re-assign a key later by doing the same, except for pressing a key other than ‘backspace’.
Taken from here:
http://linux.derkeiler.com/Mailing-Lists/GNOME/2007-03/msg00010.html



8 Февраль, 2009 в 2:48 пп |
And you might want to use Terminator instead of gnome-terminal.
8 Февраль, 2009 в 5:39 пп |
excellent tool.
8 Февраль, 2009 в 7:25 пп |
Talking about tools, here are another two that I found recently:
Ack – an alternative for grep. Sometimes faster, sometimes easier to use. I use it mostly when searching through source code.
Pipe Viewer – helps to see the progress in long running pipes.
Enjoy