> I believe the app is designed to work on per user extensions only. That's incorrect. The 'Extensions' app displays those from /usr/share /gnome-shell/extensions/ as "Built-in" and you can toggle them via the GUI (I just checked again on 20.04). An extension can be installed system-wide and manually disabled per-user, via the GUI. If that's not working for you then please log a new bug about the Extensions app by running:
ubuntu-bug gnome-shell -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1872796 Title: gnome-shell animations are noticeably stuttery when the Ubuntu extensions are enabled To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1872796/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
