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 :
- Windows Alt Tab
- Alt Tab Workspace
- Description: A replacement for Alt-Tab, cycles through apps on current workspace only
- Homepage : https://github.com/kwalo/gnome-shell-alt-tab-workspace
- Download for Gnome 3.4 : email@example.com
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.