Public bug reported: keyserver.ubuntu.com now listens on port 80 as well as port 11371 - see https://bugs.launchpad.net/launchpad/+bug/524416
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://answers.launchpad.net/ubuntu- website/+question/79193 FYI for the meantime I found instructions for modifying add-apt- repository to use port 80 here: http://www.omgubuntu.co.uk/2011/01/how- to-add-repositories-to-ubuntu-from-behind-a-firewall/ ** Affects: ubuntu Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/716438 Title: add-apt-repository should have option to use port 80 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
