gs-extensions-drop-down-terminal icon indicating copy to clipboard operation
gs-extensions-drop-down-terminal copied to clipboard

Published 20 hours ago • verified publisher icon zzrough

Update for GNOME 3.32?

Open mon0theist opened this issue 5 years ago • 3 comments

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 avatar Mar 18 '19 14:03 mon0theist

@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!

kill0rz avatar Jul 11 '19 15:07 kill0rz

@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/

mon0theist avatar Jul 11 '19 20:07 mon0theist

@mon0theist You saved my life!

tl;dr

  1. goto ~/.local/share/gnome-shell/extensions/[email protected]
  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! =)

kill0rz avatar Jul 11 '19 21:07 kill0rz