Guake is a drop-down terminal for the GNOME desktop that slides down from the top of the screen with F12, giving quick access to a shell.