https://github.com/ddterm/gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
https://github.com/ddterm/gnome-shell-extension-ddterm

dropdown-terminal gnome gnome-shell gnome-shell-extension terminal terminal-app terminal-emulator vte wayland

Last synced: about 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/ddterm/gnome-shell-extension-ddterm
• Owner: ddterm
• License: gpl-3.0
• Created: 2020-09-19T00:32:20.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2024-10-29T08:01:44.000Z (3 months ago)
• Last Synced: 2024-10-29T09:20:32.013Z (3 months ago)
• Topics: dropdown-terminal, gnome, gnome-shell, gnome-shell-extension, terminal, terminal-app, terminal-emulator, vte, wayland
• Language: JavaScript
• Homepage: https://extensions.gnome.org/extension/3780/ddterm/
• Size: 22.5 MB
• Stars: 310
• Watchers: 6
• Forks: 27
• Open Issues: 50
• Metadata Files:
  • Readme: README.md
  • Contributing: docs/CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project

• stars - gnome-shell-extension-ddterm
• stars - gnome-shell-extension-ddterm

README

        
# Another Drop Down Terminal Extension for GNOME Shell

[][extensions.gnome.org]



Inspired by

- https://github.com/bigbn/drop-down-terminal-x

- https://github.com/Guake/guake

## Distinguishing features

- Runs on Wayland natively

- Can be controlled from the [command line](docs/cmdline.md)

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

- `Preferences` window with a lot of different settings



## Review by [TechHut](https://www.youtube.com/channel/UCjSEJkpGbcZhvo0lr-44X_w)

[![my favorite GNOME extension](http://img.youtube.com/vi/tF6_FJYca64/0.jpg)](http://www.youtube.com/watch?v=tF6_FJYca64)

## Installing

The easiest way to install the extension is to go to [extensions.gnome.org].

However, the review process on [extensions.gnome.org] is sometimes slow.

A new release may be available here on GitHub, but not on

[extensions.gnome.org] yet.

[extensions.gnome.org]: https://extensions.gnome.org/extension/3780/ddterm/

If you want to install from GitHub: see [docs/INSTALL.md](docs/INSTALL.md)

## Contribute

Pull requests are always welcome.

See [docs/CONTRIBUTING.md](docs/CONTRIBUTING.md).

## Translations

You could help translating the user interface using

[Weblate](https://hosted.weblate.org/engage/gnome-shell-extension-ddterm/),

or by opening a pull request on GitHub.

[![Translation status](https://hosted.weblate.org/widgets/gnome-shell-extension-ddterm/-/multi-auto.svg)](https://hosted.weblate.org/engage/gnome-shell-extension-ddterm/)

See [docs/Translations.md](docs/Translations.md).