I'm using Natty..to resolve my proxy problem I had to do the #7 and #13 tricks.. so I did like this..
$sudo visudo then add the following lines Defaults env_keep="http_proxy" Defaults env_keep="https_proxy"
then:
$ sudo bash # export https_proxy=http://[username:password@]www.proxy.com:8000/ # add-apt-repository ppa:<whatever>
p.s. I used the ip of my proxy instead of its dns name..
I'm using Natty..to resolve my proxy problem I had to do the #7 and #13 tricks..
so I did like this..
$sudo visudo "http_proxy" "https_ proxy"
then add the following lines
Defaults env_keep=
Defaults env_keep=
then:
$ sudo bash password@ ]www.proxy. com:8000/
# export https_proxy=http://[username:
# add-apt-repository ppa:<whatever>
p.s. I used the ip of my proxy instead of its dns name..