Latest GNOME 3.2 uses new shell extension syntax so “old” GNOME 3.0 extensions don’t work on Fedora 16 or UBUNTU 11.10 using GNOME 3.2
Even when you copy extension to your
/home/username/.local/share/gnome-shell/extensions
folder extensions are disabled by default.
To enable them you need to use the `gsettings` command from the terminal.
For example download, extract and copy the `noa11y@fpmurphy.com` extension to your extensions folder.
Then enable extension with gsettings command:
$ gsettings set org.gnome.shell enabled-extensions "['noa11y@fpmurphy.com']"
Source: Installing and enabling GNOME-Shell 3.2 Extensions
So, enable your extension this way:
$ gsettings set org.gnome.shell enabled-extensions "['dock@gnome-shell-extensions.gnome.org']"