我知道如何访问https://extensions.gnome.org/网站并下载 gnome-shell 扩展，但现在我需要在根本无法访问互联网的计算机上安装一些可用的扩展。它位于公司内部网络中，我无法通过它获得外部互联网访问权限，因此我必须找到另一种方法。我可以复制 U 盘中的文件。
在我的家用计算机上，我在 ~/.local/share/gnome-shell/extensions/ 找到了我的扩展名，但只是将此文件夹复制到目标公司计算机并没有成功。
运行 gnome-tweak-tool 会给我一个“安装 Shell 扩展”按钮，但我不知道如何以可以使用此按钮安装的格式下载扩展。我试图指向上面的文件夹，但它也不起作用。
我需要做什么？
我有 ubuntu 16.04；
安装了内核 linux-image-4.13.0-31 更新，但我不喜欢它，所以我决定暂时继续使用 4.13.0-26。如何防止更新影响内核版本？