Those two paths shouldn't be exactly the same. Sounds like a bug in gnome-shell itself.
** Summary changed: - Extension [email protected] already installed in /usr/share/gnome-shell/extensions/ + Extension [email protected] already installed in /usr/share/gnome-shell/extensions/[email protected]. /usr/share/gnome-shell/extensions/[email protected] will not be loaded ** Package changed: gnome-shell-extension-ubuntu-dock (Ubuntu) => gnome- shell (Ubuntu) ** Summary changed: - Extension [email protected] already installed in /usr/share/gnome-shell/extensions/[email protected]. /usr/share/gnome-shell/extensions/[email protected] will not be loaded + Extension [email protected] already installed in /usr/share/gnome-shell/extensions/NAME /usr/share/gnome-shell/extensions/NAME will not be loaded ** Summary changed: - Extension [email protected] 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 [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
