Created attachment 150587 [details]
Fix unzip path for GNOME Shell port
It seems that it's impossible to install new GNOME Shell Extensions (or update those preinstalled by x11/gnome-shell-extensions) via http://extensions.gnome.org.
I think the reason is that gnome-shell uses the following command to extract the extension:
unzip -uod ~/.local/share/gnome-shell/extensions -- NEW_EXTENSION.ZIP
but it fails because it uses /usr/bin/unzip instead of /usr/local/bin/unzip, for which the options -o and -u are
How to repeat:
1) go to http://extensions.gnome.org
2) try to install a new extension
3) Nothing is installed (check ~/.local/share/gnome-shell/extensions, you see only
an empty directory for the chosen extension)
Apply the patch provided to the gnome-shell port or temporarily move /usr/local/bin before /usr/bin in your PATH, adding for example this line in ~/.xprofile, if you use GDM (logout to see effects)
Is this still relevant? No maintainer feedback till now!