/gnome-shell-extension-ddterm

Primary LanguageJavaScriptGNU General Public License v3.0GPL-3.0

Another Drop Down Terminal Extension for GNOME Shell

Get it on GNOME Extensions

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

my favorite GNOME extension

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