我知道怎么去https://extensions.gnome.org/网站并下载 gnome-shell 扩展,但现在我需要在一台完全没有互联网访问的计算机上安装一些那里提供的扩展。它位于公司内部网络中,我无法通过它访问外部互联网,所以我必须找到另一种方法。我可以将文件复制到 USB 磁盘中。
在我家里的电脑上,我在 ~/.local/share/gnome-shell/extensions/ 找到了我的扩展,但仅仅将此文件夹复制到目标公司电脑上却不起作用。
运行 gnome-tweak-tool 后,系统会显示“安装 Shell 扩展”按钮,但我不知道如何下载可接受格式的扩展,以便使用此按钮进行安装。我尝试指向上面的文件夹,但也没有用。
我需要做什么?
答案1
您快完成了。之后:
- 复制文件夹
~/.local/share/gnome-shell/extensions/
- 只需重新启动 Gnome Shell:Alt+ F2-> R-> Enter
并且扩展应该出现在gnome-tweaks
工具中(也重新启动该工具)。