Vagrant.configure("2") do |config|
  # ... other config up here
  config.vm.box = "dst/18"
  config.vm.box_url = "http://dsg.tuwien.ac.at/teaching/courses/dst/vm/dst18.box"

  config.vm.hostname = "dst18-vm"
  config.vm.network :private_network, ip: "192.168.99.99"
  
  # Prefer VirtualBox before VMware Fusion
  config.vm.provider "virtualbox"
  config.vm.provider "vmware_fusion"

  # shared folders
  config.vm.synced_folder "../", "/dst"

  # provision
  config.vm.provision "shell", path: "docker-configure.sh"
end