Down the Rabbit Hole of Linux Terminal Emulators
For years now, I've used an excellent drop-down terminal emulator called Guake -- a GNOME port of...
Tags: linux, shell