THIS EXTENSION IS NO LONGER SUPPORTED. If you are looking for an alternative please look at that https://extensions.gnome.org/extension/3780/ddterm awesome extension. A GNOME Shell drop down terminal with extra feautures. Special thanks to: - Osman Alperen Elhan (https://github.com/oae) - Balder Claassen (https://github.com/balderclaassen) - Adrien Pyke (https://github.com/kufii) - Alan J Carvajal (https://github.com/ajcarvajal) - Massimo Mund (https://github.com/masmu) - Jakub Żywiec (https://github.com/jakubzet) - Mattias Eriksson (https://github.com/snaggen) - Henry78 (https://github.com/Henry78) - Maxim Toropov (https://github.com/MaxMaxoff) for active contribution. Based on original extension "gs-extensions-drop-down-terminal" from Stéphane Démurget (https://github.com/zzrough)
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Version | Status |
---|---|
17 | Active |
16 | Active |
15 | Active |
14 | Active |
13 | Active |
12 | Active |
11 | Active |
10 | Active |
9 | Rejected |
8 | Active |
7 | Active |
6 | Active |
5 | Active |
4 | Active |
3 | Active |
2 | Active |
1 | Active |
Is zzrough not maintaining his/her extension anymore?
Oh, this is a long story... I've made this fork 2 years ago to implement tabs and push them to mainstream. I've made a "pull request", but zzrough still not applyed it because of "no time" reason. And this 2 years original extesnion was almost not developed. You can read complete story by this references: https://github.com/zzrough/gs-extensions-drop-down-terminal/issues/14 https://github.com/zzrough/gs-extensions-drop-down-terminal/pull/150 https://github.com/bigbn/drop-down-terminal-x/issues/5
How can I manage updates? Upload new versions like a new extension with new version but the same ID, or there is a special button "Upload new version". I can't find button like this.