Package Details: gnome-shell-extension-drop-down-terminal-git 17.r0.g18ffa31-1

Git Clone URL: https://aur.archlinux.org/gnome-shell-extension-drop-down-terminal-git.git (read-only)
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: GPL3
Conflicts: gnome-shell-extension-drop-down-terminal
Provides: gnome-shell-extension-drop-down-terminal
Submitter: heddson
Maintainer: heddson
Last Packager: heddson
Votes: 9
Popularity: 0.000000
First Submitted: 2015-01-17 23:53
Last Updated: 2016-05-01 21:38

Latest Comments

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