Skip to content

guilhem/gnome-shell-extension-ddterm

Repository files navigation

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

About

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

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published