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 https://extensions.gnome.org/, 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.

Last updated: June 03, 2013 - Webmaster: g.riviere@estia.fr - URL: http://www.guillaumeriviere.name/debian/

Valid XHTML 1.0 StrictValid CSS!