ddterm / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
https://extensions.gnome.org/extension/3780/ddterm/
GNU General Public License v3.0
304 stars 26 forks source link
dropdown-terminal gnome gnome-shell gnome-shell-extension terminal terminal-app terminal-emulator vte wayland

Another Drop Down Terminal Extension for GNOME Shell

Get it on GNOME Extensions

Inspired by

Distinguishing features

Review by TechHut

my favorite GNOME extension

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.

Translation status

See docs/Translations.md.