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