How to install gnome shell extensions offline?
Solution 1:
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).