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