Closed junksignup closed 5 years ago
P.S.: I'm on Ubuntu 18.04, GNOME Shell version — 3.28.3.
Same here in Ubuntu 18.04.1 Gnome Shell version - 3.28.2
This is the one I get on PopOS 18.10
ImportError: No JS module 'util' found in search path
Stack trace:
@/home/viktor/.local/share/gnome-shell/extensions/donotdisturb@kylecorry31.github.io/settings.js:5:7
@/home/viktor/.local/share/gnome-shell/extensions/donotdisturb@kylecorry31.github.io/prefs.js:8:7
_getExtensionPrefsModule@resource:///org/gnome/shell/extensionPrefs/main.js:67:13
wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
_selectExtension@resource:///org/gnome/shell/extensionPrefs/main.js:82:31
wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
_onCommandLine@resource:///org/gnome/shell/extensionPrefs/main.js:235:17
wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
main@resource:///org/gnome/shell/extensionPrefs/main.js:389:5
@<main>:1:43
Updated the extension (autoupdate was turned off), but the problem remained.
Found an advice to do
sudo apt-get install gir1.2-clutter-1.0 gir1.2-clutter-gst-3.0 gir1.2-gtkclutter-1.0
. Result: