Bug#958877: gnome-shell-extensions: It should be possible to add some extensions to the top bar several times

[Axel Stammler]

Package: gnome-shell-extensions
Version: 3.30.1-1
Severity: minor

Dear Maintainer,

some extensions should be allowed to run and appear in several instances, e.g.:

- Command output
- Iconping for gnome
- Ping indicator

-- System Information:
Debian Release: 10.3
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: amd64 (x86_64)

Kernel: Linux 4.19.0-8-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8), LANGUAGE=en_IE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages gnome-shell-extensions depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.30.1-2
ii  gir1.2-atk-1.0                               2.30.0-2
ii  gir1.2-clutter-1.0                           1.26.2+dfsg-10
ii  gir1.2-gdkpixbuf-2.0                         2.38.1+dfsg-1
ii  gir1.2-glib-2.0                              1.58.3-2
ii  gir1.2-gmenu-3.0                             3.31.4-3
ii  gir1.2-gtk-3.0                               3.24.5-1
ii  gir1.2-pango-1.0                             1.42.4-7~deb10u1
ii  gnome-session-bin                            3.30.1-2
ii  gnome-settings-daemon                        3.30.2-3
ii  gnome-shell                                  3.30.2-11~deb10u1
ii  gvfs                                         1.38.1-5

Versions of packages gnome-shell-extensions recommends:
ii  gnome-tweaks  3.30.2-1

gnome-shell-extensions suggests no packages.

-- debconf-show failed