System-wide installation of extensions

[bittner]

It seems to be possible to install GNOME Shell extensions system-wide (in /usr/local/share/gnome-shell/extensions/<extension-uuid>/). Would it make sense to add an option to allow installing extensions like this?

[bittner]

See also:

• gnome-shell issue #906

[brunelli]

Running gnome-shell-extension-installer as root should do the trick.

[bittner]

Running gnome-shell-extension-installer as root should do the trick.

Oh, interesting, it does! You're making the distinction based on the uid, neat! 👍

[brunelli]

You're making the distinction based on the uid

Yeap. Should probably add a --user/--system switch to override this behavior, though. I'm gonna reopen this issue so I don't forget to do it.