ferruccio/home

Personal home directory configuration

To set up a new machine, issue these commands in the home directory:

git clone https://github.com/ferruccio/home.git
git fetch --all
git reset --hard origin/master
rm -rf home/