Re: Fallback mode is going away - what now ?

[Allan Day <allanpday gmail com>]

Florian Müllner <fmuellner gnome org> wrote:
...
>>> The Tweak Tool shouldn't have anything to do with extensions. They are
>>> something that you install and run as a part of the system, not
>>> something to be "tweaked" via settings.
>
> While I agree with you that gnome-tweak-tool (and package managers
> (*)) are not the right place for extension management, I don't think
> this is much of a concern with the matter at hand - as I understand
> it, extensions are merely an implementation detail here and not
> exposed to the user (except that they should also appear separately on
> extensions.gnome.org, so users don't have to switch their system over
> entirely if they only care about one or two "tweaks"). As mentioned
> briefly above, I'd still assume an implementation based on extensions
> even if we are going for a separate session.
...
> (*) not to mention an extension management extension - I wish I was kidding

Yeah, we sorely need a way to locally enable/disable and uninstall
extensions. This should be built into the core, somehow.

Allan