ddterm/gnome-shell-extension-ddterm

ddterm/gnome-shell-extension-ddterm has 468 GitHub stars and 53 forks. GitHot measured +1 stars in 24 hours and +3 in 7 days. Last checked 2026-11-10 03:24 UTC. Last push 2026-11-01.

How these counts are measured

Another drop down terminal extension for GNOME Shell. With tabs

468 stars 53 forks +1 in 24h

What you can do

Can be controlled from the command line
Terminal window can be resized by dragging the border with mouse
All tabs are restored automatically after restart
Preferences window with a lot of different settings

Measured star growth

in 24h: +1
in 7 days: +3
in 15 days: Collecting history
in 1 month: Collecting history

Net star changes over overlapping periods, not daily totals. Missing measurements are left blank. Stars measure attention, not software quality.

README.md

Original

Another Drop Down Terminal Extension for GNOME Shell

Drop down animation

Inspired by

Distinguishing features

Can be controlled from the command line
Terminal window can be resized by dragging the border with mouse
All tabs are restored automatically after restart
Preferences window with a lot of different settings

Preferences screenshots

Review by TechHut

Installing

The easiest way to install the extension is to go to extensions.gnome.org.

However, the review process on extensions.gnome.org is sometimes slow. A new release may be available here on GitHub, but not on extensions.gnome.org yet.

If you want to install from GitHub: see docs/Install.md.