Ubuntu
software-properties package

  1. Bug #516032
  2. Comment #9

Comment 9 for bug 516032

Revision history for this message
ChaiTan3 (chaitukca) wrote :

To make add-apt-repository use port 80 by default, the /usr/share/pyshared/softwareproperties/ppa.py file used by add-apt-repository can be modified to use port 80.
Edit the file /usr/share/pyshared/softwareproperties/ppa.py
Search for "keyserver.ubuntu.com"
Replace it by "hkp://keyserver.ubuntu.com:80" and save the file
add-apt-repository should work behind a proxy now.