PUBLIC SERVICE ANNOUNCEMENTIf you know bash script, then you might find Launchy pretty useful. I know I did. Sure, there are bookmarklets but those are quite limited (which is a Good Thing™).
(The suggested default uses are nothing to really get excited about but once you point it to your custom script, thats when the fun starts.)
https://trisquel.info/en/browser/addons/launchy
