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
orsudo timedatectl set-timezone America/Los_Angeles
. If the time starts to drift, runsudo ntpdate time.nist.gov
. - If you're using a GUI, you can change caps lock to control using the instructions here.