Another Drop Down Terminal Extension for GNOME Shell

[![extensions.gnome.org downloads]][extensions.gnome.org] [![extensions.gnome.org version]][extensions.gnome.org] [![AUR version]][AUR link] [![Dev build badge]][Dev build download] [![Weblate status badge]][Weblate]

![Drop down animation]

[extensions.gnome.org downloads]: https://img.shields.io/gnome-extensions/dt/ddterm%40amezin.github.com?logo=gnome [extensions.gnome.org version]: https://img.shields.io/gnome-extensions/v/ddterm%40amezin.github.com?logo=gnome&label=extensions.gnome.org [AUR version]: https://img.shields.io/aur/version/gnome-shell-extension-ddterm?logo=archlinux [AUR link]: https://aur.archlinux.org/packages/gnome-shell-extension-ddterm [Dev build badge]: https://img.shields.io/badge/dev%20build-download-blue?logo=data:image/svg%2bxml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHZpZXdCb3g9IjAgMCAxNiAxNiIgd2lkdGg9IjE2IiBoZWlnaHQ9IjE2Ij48cGF0aCBkPSJNMi43NSAxNEExLjc1IDEuNzUgMCAwIDEgMSAxMi4yNXYtMi41YS43NS43NSAwIDAgMSAxLjUgMHYyLjVjMCAuMTM4LjExMi4yNS4yNS4yNWgxMC41YS4yNS4yNSAwIDAgMCAuMjUtLjI1di0yLjVhLjc1Ljc1IDAgMCAxIDEuNSAwdjIuNUExLjc1IDEuNzUgMCAwIDEgMTMuMjUgMTRaIiBmaWxsPSJ3aGl0ZSIvPjxwYXRoIGQ9Ik03LjI1IDcuNjg5VjJhLjc1Ljc1IDAgMCAxIDEuNSAwdjUuNjg5bDEuOTctMS45NjlhLjc0OS43NDkgMCAxIDEgMS4wNiAxLjA2bC0zLjI1IDMuMjVhLjc0OS43NDkgMCAwIDEtMS4wNiAwTDQuMjIgNi43OGEuNzQ5Ljc0OSAwIDEgMSAxLjA2LTEuMDZsMS45NyAxLjk2OVoiIGZpbGw9IndoaXRlIi8+PC9zdmc+ [Dev build download]: https://ddterm.github.io/gnome-shell-extension-ddterm/[email protected] [Weblate status badge]: https://img.shields.io/weblate/progress/gnome-shell-extension-ddterm?logo=weblate

[Drop down animation]: /docs/screenshots/dropdown.gif

Inspired by

Distinguishing features

• Can be controlled from the [command line]

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

• All tabs are restored automatically after restart

• Preferences window with a lot of different settings

[command line]: /docs/CommandLine.md [Preferences screenshots]: /docs/screenshots/prefs.gif

Review by [TechHut]

[![my favorite GNOME extension video thumbnail]][my favorite GNOME extension video]

[TechHut]: https://www.youtube.com/channel/UCjSEJkpGbcZhvo0lr-44X_w [my favorite GNOME extension video]: http://www.youtube.com/watch?v=tF6_FJYca64 [my favorite GNOME extension video thumbnail]: http://img.youtube.com/vi/tF6_FJYca64/0.jpg

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]: /docs/Install.md

Contribute

Pull requests are always welcome.

See [docs/CONTRIBUTING.md].

[docs/CONTRIBUTING.md]: /docs/CONTRIBUTING.md

Translations

You could help translating the user interface using [Weblate], or by submitting translation improvements as pull requests on GitHub.

[![Translation status]][Weblate]

See [docs/Translations.md].

[Weblate]: https://hosted.weblate.org/engage/gnome-shell-extension-ddterm/ [Translation status]: https://hosted.weblate.org/widgets/gnome-shell-extension-ddterm/-/multi-auto.svg [docs/Translations.md]: /docs/Translations.md