我有两台 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
~乔治
答案1
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' ]"