Bug#695530: gnome-shell-extensions: should not provide extensions but info to get some

[Adrien Le Guillou]

Package: gnome-shell-extensions
Version: 3.4.0-2
Severity: wishlist

Gnome shell extensions and the website provided to install them are made to
personalise gnome shell. The extensions in this package may not be wanted by
the user and maybe it will be more usefull to provide a simple way to access
the website and let the user choose the extensions he desire.

regards



-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (500, 'testing'), (1, 'experimental')
Architecture: i386 (i686)

Kernel: Linux 3.2.0-4-686-pae (SMP w/2 CPU cores)
Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

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

gnome-shell-extensions recommends no packages.

gnome-shell-extensions suggests no packages.

-- no debconf information