This is a must-know for those who love some old extensions that are no longer compatible with their new upgrade of gnome shell, since many extensions are already compatible with the new versions of the gnome-shell, but all what differs is that this is not explicitly stated in the meta-data file.
My system is on Ubuntu 13.04 beta with Gnome 3.8.
Here are the steps:
- Get the exact version of your gnome-shell, “gnome-shell –version”, mine is 126.96.36.199
- Download the 2 files of any extension, extension.js and metadata.json, or simply copy their text into new empty files that you create (with the same name of course)
- In the .json file, go to the shell-version section and your version that you got into step 1, e.g.: “shell-version”: [
“3.2”, “3.5.2”, “3.8.0”, “3.8”, “188.8.131.52”
- From the same file, you will find a uuid section, you will use that name to create a folder with the same name, e.g. folder name would be firstname.lastname@example.org in this example: “uuid”: “email@example.com”
- Copy the two files into that folder
- Copy that folder into “~/.local/share/gnome-shell/extensions
- Restart your shell, you can do that by pressing Alt+F2 then typing r and pressing enter
- Go to your gnome-tweak tool and activate that new extension by setting to on or activate it through the web interface