Ubuntu
gnome-shell package

  1. Bug #1968910
  2. Comment #2

Comment 2 for bug 1968910

Revision history for this message
Daniel van Vugt (vanvugt) wrote : Re: Extension ding@rastersoft.com already installed in /usr/share/gnome-shell/extensions/ding@rastersoft.com. /usr/share/gnome-shell/extensions/ding@rastersoft.com will not be loaded

Those two paths shouldn't be exactly the same. Sounds like a bug in gnome-shell itself.