After a very quick and smooth install of openSUSE 12.1 I missed one thing on the GNOME 3.2 desktop, though I knew it was installed: the dock extension. On GNOME 3.0 it produced a dock on the right side, the same like when hitting the Activities , then shown on the left. I ran “gnome-tweak-tool” and it did not even see the extension, though it is on disk, in the proper place: /usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org
I googled a bit and did not find anything, so I started comparing the files, beginning with “metadata.json”, compared it to the same file belonging to another extension, that I knew did work, and which did show up in gnome-tweak-tool. I noticed a difference: the dock’s json file showed
"shell-version": "3.2.0" ],
the working one
"shell-version": "3.2.0", "3.2" ],
I changed the line, hit Alt-F2, “r” to reload the desktop, ran gnome-tweak-tool, and there it was. Activated is, and now I have a small black tab on the right, which, when hovered, displays the dock. Brilliant.
There’s a couple of other extensions that share this AFAICT, diving into those now.