guake(1) on Linux
The text f73d8ca73af1, as Debian 12 (Bookworm) shipped it.
A drop-down terminal for GNOME environment [image: computer with guake terminal] [image] Welcome to the official Guake User Documentation. Guake is a dropdown terminal made for the GNOME desktop environment. Guake's style of window is based on a famous FPS game, and one of its goals is to be easy to reach and developer friendly.