Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update for GNOME 3.32? #230

Open
mon0theist opened this issue Mar 18, 2019 · 3 comments

Comments

Projects
None yet
2 participants
@mon0theist
Copy link

commented Mar 18, 2019

I've had to use a manually downgraded version of this extension for a while, which still seems to be working in GNOME 3.32, but just posting this so the dev is aware that 3.32 is out and may cause breakage

@mon0theist mon0theist changed the title Update for GNOME 3.32 update? Update for GNOME 3.32? Mar 18, 2019

@kill0rz

This comment has been minimized.

Copy link

commented Jul 11, 2019

@mon0theist How did you manage to get a downgraded version to work in GNOME 3.32? Could you please share this information with us? THX!

@mon0theist

This comment has been minimized.

Copy link
Author

commented Jul 11, 2019

@kill0rz look through the Gnome Extensions page comments, the fix posted by Wurstinator, bitpolis, and abdulhakeem

https://extensions.gnome.org/extension/442/drop-down-terminal/

@kill0rz

This comment has been minimized.

Copy link

commented Jul 11, 2019

@mon0theist You saved my life!

tl;dr

  1. goto ~/.local/share/gnome-shell/extensions/drop-down-terminal@gs-extensions.zzrough.org
  2. find gnome version via gnome-shell --version
  3. edit metadata.json, add your gnome version to the list
  4. save, press alt + f2 and type r to restart gnome
  5. that's it! =)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.