Vagrantfile

# -*- mode: ruby -*-
# vi: set ft=ruby :

Vagrant.configure("2") do |config|
    # The vanilla ones don't have vboxsf / virtualbox guest additions.  Probably an echo
    # of the whole debian/GNU software purity thing, which is... nice in an idealistic
    # sense.  But we need shared folders.  Fortunately they provide a box that will
    # help out with that:
    config.vm.box = "debian/contrib-testing64"
    config.vm.box_check_update = false

    # Change the [host: nnn] statements to what port you want to connect to from the outside.
    config.vm.network "forwarded_port", guest: 7072, host: 7072, host_ip: "127.0.0.1"
    # Make it possible to use an external SSH client.  You still have to do some configuration.
    config.vm.network "forwarded_port", guest: 22, host: 22, host_ip: "127.0.0.1"

    # Install dependencies.
    config.vm.provision "shell", inline: <<-SHELL
        apt-get update
        apt-get install -y git python3 tf5 tmux sloccount sqlite3
    SHELL
    # (A note on dependencies: We install `sqlite3' by hand not just because it's a useful
    # thing to have around for development but because installing it updates the sqlite3
    # library; the version included by default actually doesn't have support for the
    # 'ON CONFLICT ...' clause we use.)
end