My Debian Page

Extensions for Gnome 3.4 in Wheezy

When using Debian 7.0 Wheezy (stable release), the version of Gnome Shell is 3.4.2. The deb package gnome-shell-extensions (right now 3.4.0-2) allows to install some extensions, but the choice is very limited. Some more extentions exist on, but are not available for Gnome Shell 3.4. In order to enjoy more extensions, I prepared the files for the following extentions :

In order to install, extract file in $HOME/.local/share/gnome-shell/extensions/ and then restart Gnome Shell by doing "Alt" + "F2" and then typing "r" and "Enter".

Finally, run gnome-tweak-tool and enable the extension.