Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

I know how to go to the https://extensions.gnome.org/ 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 3 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

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.