Drop Down Terminal is a GNOME Shell extension that implements a drop-down, Quake-like terminal for the GNOME desktop environment.

To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it has not been tested with Cinnamon.