martinn / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively

Another Drop Down Terminal Extension for GNOME Shell

Inspired by

• https://github.com/bigbn/drop-down-terminal-x

• https://github.com/Guake/guake

Distinguishing features

• Runs on Wayland natively

• Can be controlled from the command line

• Terminal window can be resized by dragging the border with mouse

• Preferences window with a lot of different settings

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

Contribute

Pull requests are always welcome.

See docs/CONTRIBUTING.md.

Translations

You could help translating the user interface using Weblate, or by opening a pull request on GitHub.

See docs/Translations.md.