Package Details: gnome-shell-extension-drop-down-terminal-git 24.r10.g91ab851-3

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: GPL3
Conflicts: gnome-shell-extension-drop-down-terminal
Provides: gnome-shell-extension-drop-down-terminal
Submitter: heddson
Maintainer: mschu
Last Packager: mschu
Votes: 8
Popularity: 0.000000
First Submitted: 2015-01-17 23:53 (UTC)
Last Updated: 2022-04-08 07:38 (UTC)

Pinned Comments

mschu commented on 2023-12-18 09:54 (UTC)

I could not get this extension to run anymore in recent times and switched over to guake.

I will likely flag this for deletion soon because upstream has also not received any updates in the last 3 years.

Latest Comments

mschu commented on 2023-12-18 09:54 (UTC)

I could not get this extension to run anymore in recent times and switched over to guake.

I will likely flag this for deletion soon because upstream has also not received any updates in the last 3 years.

mschu commented on 2022-04-08 10:27 (UTC) (edited on 2022-04-08 10:28 (UTC) by mschu)

Currently failing for gnome-shell=42:

Gtk.BuilderError: /usr/share/gnome-shell/extensions/drop-down-terminal@gs-extensions.zzrough.org/prefs.gtkbuilder:52:39 Invalid property: GtkBox.margin_left

Stack trace:
  _init@/usr/share/gnome-shell/extensions/drop-down-terminal@gs-extensions.zzrough.org/prefs.js:75:21
  wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
  buildPrefsWidget@/usr/share/gnome-shell/extensions/drop-down-terminal@gs-extensions.zzrough.org/prefs.js:314:18
  _init@resource:///org/gnome/Shell/Extensions/js/extensionPrefsDialog.js:32:44
  ExtensionPrefsDialog@resource:///org/gnome/Shell/

liolok commented on 2020-07-28 22:57 (UTC)

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

Command tip in post_install() should be changed to gnome-extensions enable drop-down-terminal@gs-extensions.zzrough.org.

mschu commented on 2020-03-24 16:32 (UTC)

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 (UTC)

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