Those two paths shouldn't be exactly the same. Sounds like a bug in gnome-shell itself.
** Summary changed: - Extension drive-m...@gnome-shell-extensions.gcampax.github.com already installed in /usr/share/gnome-shell/extensions/ + Extension d...@rastersoft.com already installed in /usr/share/gnome-shell/extensions/d...@rastersoft.com. /usr/share/gnome-shell/extensions/d...@rastersoft.com will not be loaded ** Package changed: gnome-shell-extension-ubuntu-dock (Ubuntu) => gnome- shell (Ubuntu) ** Summary changed: - Extension d...@rastersoft.com already installed in /usr/share/gnome-shell/extensions/d...@rastersoft.com. /usr/share/gnome-shell/extensions/d...@rastersoft.com will not be loaded + Extension d...@rastersoft.com already installed in /usr/share/gnome-shell/extensions/NAME /usr/share/gnome-shell/extensions/NAME will not be loaded ** Summary changed: - Extension d...@rastersoft.com already installed in /usr/share/gnome-shell/extensions/NAME /usr/share/gnome-shell/extensions/NAME will not be loaded + Extension NAME already installed in /usr/share/gnome-shell/extensions/NAME /usr/share/gnome-shell/extensions/NAME will not be loaded ** Summary changed: - Extension NAME already installed in /usr/share/gnome-shell/extensions/NAME /usr/share/gnome-shell/extensions/NAME will not be loaded + Extension NAME already installed in /usr/share/gnome-shell/extensions/NAME. /usr/share/gnome-shell/extensions/NAME will not be loaded -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1968910 Title: Extension NAME already installed in /usr/share/gnome- shell/extensions/NAME. /usr/share/gnome-shell/extensions/NAME will not be loaded To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1968910/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs