OK,so I just discovered that if I open gnome-shell-extension-prefs,
there's a switch in the upper right corner of the window, which
apparently disables all shell extensions, and I had that switched turned
off, though I have no idea how or when I did that. Turned it on and now
I can install extensions just fine.
** Changed in: gnome-shell (Ubuntu)
Status: Triaged => Invalid
--
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/1851554
Title:
can't install gnome shell extensions
To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1851554/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
