Simple script to convert MIDI inputs to hotkeys on linux - View it on GitHub