** Tags added: gnome-17.10 ** Description changed:
+ JournalErrors.txt: + Aug 31 11:19:41 hostname gnome-software[1846]: ubuntu-dock_ubuntu.com has error: TypeError: dockManager is undefined + + $ gsettings get org.gnome.shell enabled-extensions ['dash-to-d...@micxgx.gmail.com', 'topic...@phocean.net', 'nohotcor...@azuri.free.fr', 'bettervol...@tudmotu.com', 'pixel-sa...@deadalnix.me', 'impatie...@gfxmonk.net', 'alternate-...@gnome-shell-extensions.gcampax.github.com', 'ubuntu-d...@ubuntu.com', 'ubuntu-appindicat...@ubuntu.com'] ProblemType: Bug DistroRelease: Ubuntu 17.10 Package: gnome-shell 3.24.3-0ubuntu7 ProcVersionSignature: Ubuntu 4.12.0-11.12-generic 4.12.5 Uname: Linux 4.12.0-11-generic x86_64 NonfreeKernelModules: wl ApportVersion: 2.20.7-0ubuntu1 Architecture: amd64 CurrentDesktop: GNOME Date: Thu Aug 31 11:32:33 2017 DisplayManager: gdm3 InstallationDate: Installed on 2015-04-25 (859 days ago) InstallationMedia: Ubuntu 15.04 "Vivid Vervet" - Release amd64 (20150422) SourcePackage: gnome-shell UpgradeStatus: Upgraded to artful on 2017-07-03 (58 days ago) -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1714219 Title: Extension "ubuntu-d...@ubuntu.com" had error: TypeError: dockManager is undefined To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1714219/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
