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?
1 Answer
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-tweaks tool (restart that one as well).
