Ubuntu
gnome-shell package

  1. Bug #1872796
  2. Comment #25

Comment 25 for bug 1872796

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

> 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