On Mon, 2011-04-11 at 19:34 +0530, Rahul Sundaram wrote: > On 04/11/2011 07:00 PM, Matthias Clasen wrote: > > > > That is why we don't recommend installing extensions... > > more seriously, 'one of them has a bug' is a little to generic to be > > useful. What kind of problem did you encounter, and how did the shell > > fail to work ? > > Perhaps it wasn't clear but I was talking about providing a generic > functionality that allows a user to quickly disable all extensions in > case one of them has a bug or something is broken and user wants to > ensure that it is not because of one of the extensions akin to how > Firefox has a safe made option. I wasn't referring to any specific bug. rpm -e gnome-shell-extensions is such a mechanism. -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
