Describe how I do development

README.md

@@ -195,6 +195,31 @@ The extension code takes many measures to prevent malicious/accidental misuse of
 Development
 -----------
 
+Provided that you have Git, VirtualBox, and Vagrant installed, you can get started like so.
+
+    git clone git://git.postgresql.org/git/postgresql.git ~/dev/POSTGRES
+    cd ~/dev/POSTGRES
+    ln -s ../Postgres_Development_Vagrantfile ./Vagrantfile
+        # ^^ See https://github.com/gurjeet/home/blob/wip/dev/Postgres_Development_Vagrantfile
+    vagrant up
+    vagrant ssh
+    # Now we're inside Vagrant/Virtualbox VM
+    cd ~/dev/POSTGRES
+    git clone [email protected]:gurjeet/pg_plan_guarantee.git contrib/pg_plan_guarantee
+    pgconfigure
+    pgmake -j4 all check install
+    pgmake -C contrib/pg_plan_guarantee all install
+    pgmake -C contrib/auto_explain all install
+    pgstart
+    pgsql #starts psql utility
+    --- do testing etc.
+    pgstop
+
+The above instructions use my custom develoment environment; they include the shell functions from my [pgd][] project, Vagrantfile for setting up Postgres development environment, and miscellaneous artifacts from my $[HOME][] directory versioned in Git.
+
+[pgd]: https://github.com/gurjeet/pgd
+[HOME]: https://github.com/gurjeet/home
+
 Controversial Idea
 ------------------