Sign up ×

I know how to go to the website and download gnome-shell extensions, but now I need to install some extensions available there on a computer without any internet access at all. It is in a internal corporate network and there's no way I can get outside internet access on it, so I must find another way. I can copy files in a usb disk.

At my home computer, I have found my extensions at ~/.local/share/gnome-shell/extensions/ but just copying this folder to the target corporate computer didn't do the trick.

Running gnome-tweak-tool gives me a "Install Shell Extension" button but I don't know how to download an extension in a format acceptable to install using this button. I have tried to point to the folder above but it didn't work either.

What do I need to do?

share|improve this question

1 Answer 1

up vote 7 down vote accepted

you are almost there. after copying the folder in the ~/.local/share/gnome-shell/extensions/ just restart gnome shell (alt+f2 -> r -> enter) and the extension should appear in the gnome-tweak-tool (restart that one as well)

share|improve this answer
Thanks, that did the trick. –  nosklo Oct 8 '12 at 16:17

Your Answer


