extensions disabled after upgrade

[Anton Piatek]

I updated yesterday (I think), and after a reboot today all extensions were disabled.

I went to the gnome-shell extensions website, ticked to enable my extension and it toggled on. The extensions did not seem to work. I reloaded the page and they are off again. I clicked enabled, still nothing. Reload page and all are off.

I check logs in journalctl and could see nothing relevant.

Eventually a bit of searching suggests enabling via gnome-shell-tweaks, so I open that up and they're all unticked, and disabled (can't be ticked). I realised there's a global "enable extensions" tickbox which has been unticked. Enabling this fixes everything.

I have had to do this in the past, several months back as I had forgotten until now.
Something is disabling this on upgrade and it is not obvious from the extensions web-page that they have been disabled.

Ideally they should not be disabled at all, but if they are at least there should be some more obvious feedback after upgrade and on the extensions website

ProblemType: Bug
DistroRelease: Ubuntu 20.04
Package: gnome-shell 3.36.7-0ubuntu0.20.04.1
ProcVersionSignature: Ubuntu 5.4.0-72.80-generic 5.4.101
Uname: Linux 5.4.0-72-generic x86_64
NonfreeKernelModules: nvidia_modeset nvidia
ApportVersion: 2.20.11-0ubuntu27.16
Architecture: amd64
CasperMD5CheckResult: skip
CurrentDesktop: ubuntu:GNOME
Date: Fri Apr 23 10:24:59 2021
DisplayManager: gdm3
InstallationDate: Installed on 2019-07-22 (640 days ago)
InstallationMedia: Ubuntu 19.04 "Disco Dingo" - Release amd64 (20190416)
RelatedPackageVersions: mutter-common 3.36.7+git20201123-0.20.04.1
SourcePackage: gnome-shell
UpgradeStatus: Upgraded to focal on 2020-05-15 (342 days ago)