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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
