[Desktop-packages] [Bug 1872968] Re: dash to dock settings fail because gnome-shell-extension-prefs is not installed, but even installing doesn't fix it.
*** This bug is a duplicate of bug 1869635 *** https://bugs.launchpad.net/bugs/1869635 I think the main issue is that the settings option is visible at all. So let's bundle this into bug 1869635. ** This bug has been marked a duplicate of bug 1869635 the menu "Dash to Dock Settings" is visible -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1872968 Title: dash to dock settings fail because gnome-shell-extension-prefs is not installed, but even installing doesn't fix it. Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: Confirmed Bug description: Ubuntu 20.04 daily build 20.04.14 Steps to reproduce: Right click in the bottom left corner of the screen (on the nine dots). Choose Dash to Dock Settings. You will get a warning that gnome-shell-extension-prefs is not installed. Install it in a terminal window (apt install gnome-shell-extension-prefs). Then right click on the nine dots again, choose Dash to Dock Settings. You then get a window titled Ubuntu Dock, with the following error message: Something's gone wrong. We're very sorry, but there's been a problem: the settings for this extension can't be displayed. We recommend that you report the issue to the extension authors. The following Technical Details are provided: ImportError: No JS module 'prefs' found in search path Stack trace: _init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:204:33 OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:122:28 asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:132:13 run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:175:20 main@resource:///org/gnome/Shell/Extensions/js/main.js:19:13 run@resource:///org/gnome/gjs/modules/script/package.js:222:19 start@resource:///org/gnome/gjs/modules/script/package.js:206:5 @/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17 -- However, opening the dash and choosing gnome-shell-extension-prefs manually does seem to work, although that window is titled Extensions and not Ubuntu Dock. ProblemType: Bug DistroRelease: Ubuntu 20.04 Package: gjs 1.64.1-2 ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27 Uname: Linux 5.4.0-21-generic x86_64 NonfreeKernelModules: zfs zunicode zavl icp zcommon znvpair ApportVersion: 2.20.11-0ubuntu26 Architecture: amd64 CasperMD5CheckResult: pass CasperVersion: 1.445 CurrentDesktop: ubuntu:GNOME Date: Wed Apr 15 11:37:20 2020 ExecutablePath: /usr/bin/gjs-console LiveMediaBuild: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200414) ProcEnviron: SHELL=/bin/bash XDG_RUNTIME_DIR= PATH=(custom, no user) LANG=C.UTF-8 SourcePackage: gjs UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1872968/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [Bug 1872968] Re: dash to dock settings fail because gnome-shell-extension-prefs is not installed, but even installing doesn't fix it.
** Package changed: gjs (Ubuntu) => gnome-shell-extension-ubuntu-dock (Ubuntu) -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1872968 Title: dash to dock settings fail because gnome-shell-extension-prefs is not installed, but even installing doesn't fix it. Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: Confirmed Bug description: Ubuntu 20.04 daily build 20.04.14 Steps to reproduce: Right click in the bottom left corner of the screen (on the nine dots). Choose Dash to Dock Settings. You will get a warning that gnome-shell-extension-prefs is not installed. Install it in a terminal window (apt install gnome-shell-extension-prefs). Then right click on the nine dots again, choose Dash to Dock Settings. You then get a window titled Ubuntu Dock, with the following error message: Something's gone wrong. We're very sorry, but there's been a problem: the settings for this extension can't be displayed. We recommend that you report the issue to the extension authors. The following Technical Details are provided: ImportError: No JS module 'prefs' found in search path Stack trace: _init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:204:33 OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:122:28 asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:132:13 run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:175:20 main@resource:///org/gnome/Shell/Extensions/js/main.js:19:13 run@resource:///org/gnome/gjs/modules/script/package.js:222:19 start@resource:///org/gnome/gjs/modules/script/package.js:206:5 @/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17 -- However, opening the dash and choosing gnome-shell-extension-prefs manually does seem to work, although that window is titled Extensions and not Ubuntu Dock. ProblemType: Bug DistroRelease: Ubuntu 20.04 Package: gjs 1.64.1-2 ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27 Uname: Linux 5.4.0-21-generic x86_64 NonfreeKernelModules: zfs zunicode zavl icp zcommon znvpair ApportVersion: 2.20.11-0ubuntu26 Architecture: amd64 CasperMD5CheckResult: pass CasperVersion: 1.445 CurrentDesktop: ubuntu:GNOME Date: Wed Apr 15 11:37:20 2020 ExecutablePath: /usr/bin/gjs-console LiveMediaBuild: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200414) ProcEnviron: SHELL=/bin/bash XDG_RUNTIME_DIR= PATH=(custom, no user) LANG=C.UTF-8 SourcePackage: gjs UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1872968/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [Bug 1872968] Re: dash to dock settings fail because gnome-shell-extension-prefs is not installed, but even installing doesn't fix it.
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: gjs (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gjs in Ubuntu. https://bugs.launchpad.net/bugs/1872968 Title: dash to dock settings fail because gnome-shell-extension-prefs is not installed, but even installing doesn't fix it. Status in gjs package in Ubuntu: Confirmed Bug description: Ubuntu 20.04 daily build 20.04.14 Steps to reproduce: Right click in the bottom left corner of the screen (on the nine dots). Choose Dash to Dock Settings. You will get a warning that gnome-shell-extension-prefs is not installed. Install it in a terminal window (apt install gnome-shell-extension-prefs). Then right click on the nine dots again, choose Dash to Dock Settings. You then get a window titled Ubuntu Dock, with the following error message: Something's gone wrong. We're very sorry, but there's been a problem: the settings for this extension can't be displayed. We recommend that you report the issue to the extension authors. The following Technical Details are provided: ImportError: No JS module 'prefs' found in search path Stack trace: _init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:204:33 OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:122:28 asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:132:13 run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:175:20 main@resource:///org/gnome/Shell/Extensions/js/main.js:19:13 run@resource:///org/gnome/gjs/modules/script/package.js:222:19 start@resource:///org/gnome/gjs/modules/script/package.js:206:5 @/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17 -- However, opening the dash and choosing gnome-shell-extension-prefs manually does seem to work, although that window is titled Extensions and not Ubuntu Dock. ProblemType: Bug DistroRelease: Ubuntu 20.04 Package: gjs 1.64.1-2 ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27 Uname: Linux 5.4.0-21-generic x86_64 NonfreeKernelModules: zfs zunicode zavl icp zcommon znvpair ApportVersion: 2.20.11-0ubuntu26 Architecture: amd64 CasperMD5CheckResult: pass CasperVersion: 1.445 CurrentDesktop: ubuntu:GNOME Date: Wed Apr 15 11:37:20 2020 ExecutablePath: /usr/bin/gjs-console LiveMediaBuild: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200414) ProcEnviron: SHELL=/bin/bash XDG_RUNTIME_DIR= PATH=(custom, no user) LANG=C.UTF-8 SourcePackage: gjs UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gjs/+bug/1872968/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
