我知道如何访问https://extensions.gnome.org/网站并下载gnome-shell扩展程序，但是现在我需要在计算机上安装一些可用的扩展程序，而根本无法访问任何互联网。它位于内部公司网络中，无法通过它访问外部互联网，因此我必须找到另一种方法。我可以将文件复制到USB磁盘中。
在我的家用计算机上，我在〜/ .local / share / gnome-shell / extensions /中找到了扩展名，但仅将此文件夹复制到目标公司计算机上并没有解决问题。
运行gnome-tweak-tool会给我一个“安装外壳扩展程序”按钮，但我不知道如何以可接受的格式下载扩展程序，以使用此按钮进行安装。我试图指向上面的文件夹，但是也没有用。
我需要做什么？