0 jan@kontiki:~$dpkg -l |grep gnome-shell-ex
ii  gnome-shell-extension-dashtodock                 56-1                                 all          dash-to-dock extension for GNOME shell
ii  gnome-shell-extension-disconnect-wifi            3.22.14-1                            all          disconnect wifi extension for GNOME shell
ii  gnome-shell-extension-hide-activities            0.00~git20131024.1.6574986-1         all          GNOME shell extension that hides the activities button
ii  gnome-shell-extension-impatience                 0.4.3-1                              all          speed up the gnome-shell animation speed
ii  gnome-shell-extension-log-out-button             1.0.6-1                              all          Adds a log out button to the system action list in GNOME Shell
ii  gnome-shell-extension-move-clock                 1.01-1                               all          move clock extension for GNOME shell
ii  gnome-shell-extension-pixelsaver                 1.10+git20161217-49f47bf-1           all          pixel saver extension for GNOME shell
ii  gnome-shell-extension-refresh-wifi               6-1                                  all          refresh wifi extension for GNOME shell
ii  gnome-shell-extension-remove-dropdown-arrows     8-1                                  all          removes drop down arrows from panel on GNOME shell
ii  gnome-shell-extension-shortcuts                  1.1.1~aimsppa-1                      all          Creates a shortcuts help pop-up in GNOME Shell
ii  gnome-shell-extension-taskbar                    53.0-1                               all          TaskBar Extension for GNOME Shell
ii  gnome-shell-extension-tilix-shortcut             1.0-1+aimsppa1                       all          Adds configurable keyboard shortcut for tilix/terminix
ii  gnome-shell-extension-top-icons-plus             19-1                                 all          GNOME Shell extension to move system tray icons to top bar
ii  gnome-shell-extension-trash                      0.2.0-git20161122.ad29112-1          all          trash applet for GNOME shell
ii  gnome-shell-extension-weather                    0~20160325.gitb5415ec-2              all          weather extension for GNOME Shell
ii  gnome-shell-extensions                           3.22.2-1                             all          Extensions to extend functionality of GNOME Shell
0 jan@kontiki:~$