16 Feb
2012
16 Feb
'12
4:14 p.m.
On Thu, Feb 16, 2012 at 5:10 PM, Zygmunt Krynicki < zygmunt.krynicki@linaro.org> wrote:
You should set the proxy for apt via /etc/apt.conf or /etc/apt/apt.conf.d/
The line you need is:
Acquire::HTTP::Proxy "http://.../";
this works for apt-get commands, but not for add-apt-repo which is a python script that does not use this config