so I'm primarily a Linux user at home. I use a really cool terminal app called Guake, which basically does a drop-down transparent terminal whenever I hit F12. It's really handy because I tend to have ...