Yes, It worked for me, After the second from the above step still I was getting an error. But as per Korny suggestion; it worked for me!!!! Thank you Korny.
$ sudo bash # export https_proxy=http://www.example.com:8000/ # add-apt-repository ppa:<whatever>
Yes, It worked for me, After the second from the above step still I was getting an error.
But as per Korny suggestion; it worked for me!!!! Thank you Korny.
$ sudo bash www.example. com:8000/
# export https_proxy=http://
# add-apt-repository ppa:<whatever>