On 08/19/2015 07:18 AM, Kalev Lember wrote:
Yes, this needs some more thought. Right now the answer is that they
are
mostly meant to be installed through
http://extensions.gnome.org/ web
interface instead.
Am I the only one who finds it creepy that the only built-in way to
manage extensions is through a web UI? Or even that you *can* manage
extensions with a web UI?
-Adam Batkin