How to run apt-add-repository behind firewalls (#iitr)

Copied from OMGUbuntu

1. Press Alt-F2 and type “gksu gedit /usr/lib/python2.6/dist-packages/softwareproperties/ppa.py”
2. Find line 88, change “keyserver.ubuntu.com” to “hkp://keyserver.ubuntu.com:80”
3. Save and close

Note that this is the default setting in Ubuntu Natty Narwhal (11.04), and was only applicable for Maverick or older versions.