hm, does not understand what had happened. After a cold reboot, i can use 'tweaks' from the menu, with or without the xhost script; and the 'extensions' tab is also back; strange.
But it still mysterious: - from a terminal, with 'sudo' an error is logged, and the 'extensions' tab is missing. (i know that 'sudo' is not needed but just saying) - from the terminal, without 'sudo' a 'permission denied is logged. oem@zz64:~$ sudo gnome-tweak-tool [sudo] password for oem: WARNING : Shell not installed or running WARNING : Error detecting shell Traceback (most recent call last): File "/usr/lib/python3/dist-packages/gtweak/tweaks/tweak_group_shell_extensions.py", line 214, in __init__ raise Exception("Shell not running or DBus service not available") Exception: Shell not running or DBus service not available WARNING : Shell not running NoneType: None oem@zz64:~$ gnome-tweak-tool (gnome-tweak-tool:2558): Gtk-WARNING **: Attempting to read the recently used resources file at '/home/oem/.local/share/recently-used.xbel', but the parser failed: Failed to open file “/home/oem/.local/share/recently- used.xbel”: Permission denied. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1713303 Title: Error detecting shell "Shell not running or DBus service not available" To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-tweak-tool/+bug/1713303/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs