我有两台 Linux 机器,一台在工作,一台在家里,它们是相同的硬件,并且设置几乎相同。两者都运行 Ubuntu 12.04 LTS 和 gnome-shell 3.4.1
一个区别是要在工作中连接到互联网,我必须使用代理服务器。
除了 gnome 扩展之外,一切都运行良好。出于某种原因,我无法在工作时从http://extensions.gnome.org安装扩展。页面上的开关轻弹并提示安装,但之后不做任何事情。
没有任何内容被添加到~/.local/share/gnome-shell/extensions/文件夹或/usr/share/gnome-shell/extensions文件夹中,也没有任何内容显示在gnome-tweak-tool. 页面刷新后轻弹开关也回到原来的位置。
我假设的东西(可能gnome-shell)不读取$http_proxy和$https_proxy环境变量,并尝试直接下载文件,因为在家里这里我没有代理一切工作正常。
所以问题是:gnome-shell安装扩展时是否使用系统范围的代理设置。如果不是,我怎么能强迫它这样做(一些漂亮的黑客或某事)?
hertz@hertzbox:~$ uname -a
Linux hertzbox 3.2.0-35-generic #55-Ubuntu SMP Wed Dec 5 17:42:16 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux
hertz@hertzbox:~$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description: Ubuntu 12.04.1 LTS
Release: 12.04
Codename: precise
hertz@hertzbox:~$ gnome-shell --version
GNOME Shell 3.4.1
Run Code Online (Sandbox Code Playgroud)
~乔治
小智 3
Gnome 有它自己的一组变量,您可以在其中配置代理。您可以在此处阅读一些需要配置代理的地方。
您的具体问题应该得到纠正,在 shell 中使用以下代码:
gsettings set org.gnome.system.proxy mode 'manual'
gsettings set org.gnome.system.proxy.http host 'yourproxy'
gsettings set org.gnome.system.proxy.http port 8080
gsettings set org.gnome.system.proxy.ftp host 'yourproxy'
gsettings set org.gnome.system.proxy.ftp port 8080
gsettings set org.gnome.system.proxy.https host 'yourproxy'
gsettings set org.gnome.system.proxy.https port 8080
gsettings set org.gnome.system.proxy ignore-hosts "['localhost', '127.0.0.0/8', '*.localdomain.com' ]"
Run Code Online (Sandbox Code Playgroud)