Search Criteria
Package Details: gnome-shell-extension-drop-down-terminal-git 24.r2.ga59669a-2
Git Clone URL: | https://aur.archlinux.org/gnome-shell-extension-drop-down-terminal-git.git (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: | https://github.com/zzrough/gs-extensions-drop-down-terminal |
Licenses: | |
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
Command tip in
post_install()
should be changed tognome-extensions enable drop-down-terminal@gs-extensions.zzrough.org
.mschu commented on 2020-03-24 16:32
Works on gnome-shell=3.36.0 with this PR: https://github.com/zzrough/gs-extensions-drop-down-terminal/pull/238
mschu commented on 2018-09-26 21:19
There is a pull request on Github to fix the extension for gnome 3.30: https://github.com/zzrough/gs-extensions-drop-down-terminal/pull/219
For a quick fix, replace zzrough by anarchodin/gs-extensions-drop-down-terminal in the PKGBUILD - otherwise it will be merged soon