wastee/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

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

• Preferences window with a lot of different settings

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