Installing and configuring a piece of software is hard. Installing and configuring a bunch of potentially conflicting pieces of software with varying versions is even harder. And when things go wrong, it's not always obvious how to fix them. By developing in a virtual machine (VM), installation and configuration can be tamed, and if anything goes wrong, you can throw away the VM and try again! This directory contains a set of VMs managed by vagrant.

Install vagrant and VirtualBox. Navigate into a VM's directory, start the VM, and ssh into it. For example,

cd prolog
vagrant up
vagrant ssh

Once you've sshed into a VM, run any installation scripts in the /vagrant directory.

bash /vagrant/install_dotfiles.sh
bash /vagrant/install_prolog.sh

You can create new VMs using the newvm.sh script. For example,

# Make a new VM for typescript.
./newvm.sh typescript
cd typescript && vagrant up && vagrant ssh

• If you'd like to change the timezone within the VM, run sudo dpkg-reconfigure tzdata or sudo timedatectl set-timezone America/Los_Angeles. If the time starts to drift, run sudo ntpdate time.nist.gov.
• If you're using a GUI, you can change caps lock to control using the instructions here.