If you are using a gnome-terminal, F1 key might activate a Help menu. In that case you can change the Keyboard Shortcuts from the menu:
Edit -> Keyboard Shortcuts..
If you are using other terminal programs, such Fucntion Keys might be mapped differently.