On 17 February 2012 03:10, Zygmunt Krynicki <zygmunt.kryni...@linaro.org> wrote: > On Thu, Feb 16, 2012 at 5:07 PM, Dechesne, Nicolas <n-deche...@ti.com> wrote: >> >> >> On Thu, Feb 16, 2012 at 10:32 AM, Amit <amit....@tieto.com> wrote: >>> >>> gpg: directory `/home/bagggami/.gnupg' created >>> gpg: new configuration file `/home/bagggami/.gnupg/gpg.conf' created >>> gpg: WARNING: options in `/home/bagggami/.gnupg/gpg.conf' are not yet >>> active during this run >>> gpg: keyring `/home/bagggami/.gnupg/secring.gpg' created >>> gpg: keyring `/home/bagggami/.gnupg/pubring.gpg' created >>> gpg: requesting key 7BE1F97B from hkp server keyserver.ubuntu.com >>> gpgkeys: HTTP fetch error 7: couldn't connect to host >>> gpg: no valid OpenPGP data found. >>> gpg: Total number processed: 0 >>> >>> Can you tell me whats going wrong here. >> >> >> looks like you might be behind a corporate firewall, and 'sudo' is not >> passing the env variables properly. >> >> the reliable way I usually do it is: >> >> $ sudo su - >> $ export http_proxy='XXX' >> $ export https_proxy='XXX' >> $ add-apt-repository ppa:xxx > > 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://.../";;
for gpg, which is the problem here, you need to configure it in ~/.gnupg/gpg.conf with a line like keyserver-options http-proxy=http://proxy.example.com:3128/ if there is already a keyserver-options line, you need to add that to it. It may be a good idea to also put it into /root/.gnupg/gpg.conf. -- Martin _______________________________________________ linaro-dev mailing list linaro-dev@lists.linaro.org http://lists.linaro.org/mailman/listinfo/linaro-dev
