XBindKeys uses a configuration file, located at $HOME/.xbindkeysrc.
Contents of my .xbindkeysrc
"gnome-terminal" Mod2 + F12
You can create your own config, or have a default one generated for you.
xbindkeys --defaults > $HOME/.xbindkeysrc
To get the correct key codes, you can use -k to identify key presses. It will open a blank window and output the command to be placed into your configuration file.
XBindKeys should be easily found in your package manager.
15 Jul 2014