Skip to content

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

License

Notifications You must be signed in to change notification settings

TheRedDev/gnome-shell-extension-ddterm

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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

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

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • JavaScript 95.0%
  • Shell 2.3%
  • Makefile 2.2%
  • Other 0.5%