add-apt-repository should have option to use port 80
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
software-properties (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
keyserver.
However by default, the add-apt-repository command still uses port 11371, which does not work behind a firewall, and it does not provide an option to use port 80 instead.
This bug is to request that add-apt-repository get an option to use port 80 (e.g. command line switch), or to use port 80 by default.
There is a similar suggestion mentioned here, but it has not actually been filed as a bug: https:/
FYI for the meantime I found instructions for modifying add-apt-repository to use port 80 here: http://
Assigning to software-properties /bugs.launchpad .net/ubuntu/ +source/ software- properties/ +bug/516032
Can you look at
https:/
especially comment #9 and see if this works for you