On 04/11/2011 08:38 PM, Matthias Clasen wrote: > > rpm -e gnome-shell-extensions is such a mechanism. If it was all packaged, then that might be a answer but I can already see three or four randomly in various places. I suspect you will find a need for something like this soon. I will leave it at that Rahul -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
