gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively. Fork of @amezin

GPL-3.0 License

Stars
10
Committers
8

Another Drop Down Terminal Extension for GNOME Shell

Inspired by

Distinguishing features

  • Runs on Wayland natively

  • 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, review process on extensions.gnome.org is kinda slow, so 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

Toggle the terminal through D-Bus

It's possible to toggle the terminal externally through D-Bus. For example, from command line:

$ gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell/Extensions/ddterm --method com.github.amezin.ddterm.Extension.Toggle