I have disabled all gnome extensions with Gnome Tweak Tool by clicking on the switch that appear on top of all extensions list to disable all of them in one click. Now everything is disabled and the switch on top is also disappeared. I tried rebooting but the tweak tool still does not allow to re enable any extensions anymore: enter image description here

I also tried with https://extensions.gnome.org/local/ but even re enabling them manually (clicking on the on/off switch) works. The switch shows "on" but the extension is not actually enabled. Reloading the page shows all off.


...ok I have found how to solve it.

/org/gnome/shell/disable-user-extensions <- false

It looks like that tweak tool has a bug...

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.