From Fedora Project Wiki
Description
extensions.gnome.org management
Setup
- Boot into a GNOME session with GNOME Shell
- Make sure you have
installed usinggnome-tweak-tool
or via running: yum install gnome-tweak-toolgnome-packagekit
- Have several extensions installed as in previous case.