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

2012-05-30 Thread Michael Biebl
On 26.05.2012 02:41, Michael Biebl wrote: > On 26.05.2012 02:39, Michael Biebl wrote: >> There is an extensions which can periodically check for available updates: >> >> http://www.webupd8.org/2012/05/gnome-shell-extension-updater.html > > Also, https://extensions.gnome.org/local/ lists your local

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

2012-05-25 Thread Michael Biebl
On 26.05.2012 02:39, Michael Biebl wrote: > There is an extensions which can periodically check for available updates: > > http://www.webupd8.org/2012/05/gnome-shell-extension-updater.html Also, https://extensions.gnome.org/local/ lists your locally installed extensions and available updates.

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

2012-05-25 Thread Michael Biebl
There is an extensions which can periodically check for available updates: http://www.webupd8.org/2012/05/gnome-shell-extension-updater.html -- Why is it that all of the instruments seeking intelligent life in the universe are pointed away from Earth? signature.asc Description: OpenPGP digit

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

2012-02-03 Thread 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, th