ddterm / gnome-shell-extension-ddterm

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

Home Page:https://extensions.gnome.org/extension/3780/ddterm/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Another Drop Down Terminal Extension for GNOME Shell

Get it on GNOME Extensions

Inspired by

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

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.

About

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

https://extensions.gnome.org/extension/3780/ddterm/

License:GNU General Public License v3.0


Languages

Language:JavaScript 67.7%Language:Python 28.9%Language:Meson 2.7%Language:Shell 0.4%Language:Makefile 0.2%Language:XSLT 0.1%Language:CSS 0.0%