add ppa source

使用 ubuntu 好些時間，今天才花了點時間了解 PPA (Personal Package Archive) 的用法。

$ sudo add-apt-repository ppa:ppa_user/ppa_name
$ sudo apt-get update
$ sudo apt-get install


To make add-apt-repository use port 80 by default

公司有防火牆，在取得 gpg key 時老是無法連線，從這裡看到了解法。

Edit /usr/share/pyshared/softwareproperties/ppa.py
Search "keyserver.ubuntu.com"
Replace it by "hkp://keyserver.ubuntu.com:80"