Bug#658524: gnome-shell-extensions should automatically search for updated extensions

[g1annis]

Package: gnome-shell-extensions
Version: 3.2.0-1
Severity: wishlist

Dear Maintainer,

Due to fast development involving gnome-shell in debian testing or > it is
common that many extensions are becoming incompatible after a gnome-shell
update, so the extended functionality it is disabled.

Thus, the user has to return back to https://extensions.gnome.org/ to install
it again. But when the number of extensions installed are big enough, some of
them are forgotten, and someone has to check them one by one into .local/share
/gnome-shell/extensions to see if  the installed extensions are functional
indeed.

Moreover, as many of the extensions' names are irrelevant to the function they
provide, the above thing may be a little bit tiring.

If gnome-shell-extensions had the ability to automatically check for updated
versions of the extensions, this should be really helpful for the users. This
could be also done using the gnome-tweak-tool, or through the official
https://extensions.gnome.org/ site.

Thanks!



-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 3.0.0-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=el_GR.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnome-shell-extensions depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.10.0-3
ii  gir1.2-gtop-2.0                              2.28.4-2
ii  gnome-shell                                  3.2.2.1-1

gnome-shell-extensions recommends no packages.

gnome-shell-extensions suggests no packages.

-- no debconf information