我在任何地方都找不到代理设置。我是否必须通过终端设置它,通过gconftools还是有一些 GUI 存在?
我正在尝试设置系统范围的代理,并且我在使用 apt-get 在我的 Ubuntu 上安装应用程序时遇到了特别困难。我在一所大学使用带有用户名/密码的代理服务器。我知道通过以下方式使用用户名和密码设置代理:
http://用户名:密码@proxy.thing.com:8080/
但它失败了,作为 apt-get 的一个关键例子。用户名中包含反斜杠( \ ),我想知道这是否可能是失败的问题。如果对此有任何意见,我将不胜感激。
当我运行软件更新程序时,它说它无法下载存储库信息并检查 Internet 连接。
我有互联网连接。
我该如何解决?
编辑添加源内容,列表:
抱歉,我无法弄清楚如何在不弄乱的情况下粘贴 sources.list 的内容。其中一些预览为非常大的粗体打印。我试图遵循块引用和代码规则,但无论如何它都是一团糟。
我有两台 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)
~乔治
我使用系统设置 -> 网络 -> 网络代理设置代理。然后我点击“应用系统范围”,输入我的密码,没有别的。
michele@rserver-VirtualBox:~$ wget http://bbc.co.uk
--2014-09-30 13:02:20-- http://bbc.co.uk/
Resolving datapx01-wcg (datapx01-wcg)... 10.123.7.31
Connecting to datapx01-wcg (datapx01-wcg)|10.123.7.31|:8080... connected.
Proxy request sent, awaiting response... 301 Moved Permanently
Location: http://www.bbc.co.uk/ [following]
--2014-09-30 13:02:21-- http://www.bbc.co.uk/
Reusing existing connection to datapx01-wcg:8080.
Proxy request sent, awaiting response... 200 OK
Length: 103020 (101K) [text/html]
Saving to: ‘index.html’
100%[======================================>] 103,020 190KB/s in 0.5s
2014-09-30 13:02:21 (190 KB/s) - ‘index.html’ saved [103020/103020]
Run Code Online (Sandbox Code Playgroud)
而是使用 sudo:
michele@rserver-VirtualBox:~$ sudo wget http://bbc.co.uk
[sudo] password for michele:
--2014-09-30 13:02:30-- http://bbc.co.uk/
Resolving …Run Code Online (Sandbox Code Playgroud)