Package Details: gnome-shell-extension-drop-down-terminal-git 24.r2.ga59669a-2

Git Clone URL: (read-only, click to copy)
Package Base: gnome-shell-extension-drop-down-terminal-git
Description: Drop Down Terminal extension for the Gnome Shell
Upstream URL:
Licenses: GPL3
Submitter: heddson
Maintainer: mschu
Last Packager: mschu
Votes: 9
Popularity: 0.000000
First Submitted: 2015-01-17 23:53
Last Updated: 2020-10-07 20:45

Latest Comments

liolok commented on 2020-07-28 22:57

gnome-shell-extension-tool is deprecated, use gnome-extensions instead

Command tip in post_install() should be changed to gnome-extensions enable

mschu commented on 2020-03-24 16:32

Works on gnome-shell=3.36.0 with this PR:

mschu commented on 2018-09-26 21:19

There is a pull request on Github to fix the extension for gnome 3.30:

For a quick fix, replace zzrough by anarchodin/gs-extensions-drop-down-terminal in the PKGBUILD - otherwise it will be merged soon