How to install Postgres 9.3 with headers on Ubuntu 13.10

If you need to install Postgres 9.3 with development headers (i.e. so that you can compile extensions to Postgres) then hopefully this post can help you. Firstly – don’t use the official Postgres PPA because it only provides binaries and not sources.

So, use Chris-Les Postgress PPA found here:

https://launchpad.net/~chris-lea/+archive/postgresql-9.3

sudo add-apt-repository ppa:chris-lea/postgresql-9.3
sudo apt-get update
sudo apt-get install postgresql-server-dev-9.3

I hope this help someone.