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