Woohoo, I did it! Had to frankenstein together 2 or 3 different websearched sets of instructions but here we go, it's working.

Also shout out to @ssokolow for recommending a pull-down terminal emulator; tapping a hotkey is much more convenient!

@hrisskar
What drop down terminal do you use? I use Guake and love it

@ssokolow