Public bug reported:
$ gsettings get org.gnome.shell enabled-extensions
['[email protected]', '[email protected]',
'[email protected]', '[email protected]',
'[email protected]', '[email protected]',
'[email protected]',
'[email protected]', '[email protected]']
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)
** Affects: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug artful wayland-session
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1714219
Title:
Extension "[email protected]" 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
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
