1 Vagrant.configure("2") do |config|
2 # ... other config up here
3 config.vm.box = "dst/18"
4 config.vm.box_url = "http://dsg.tuwien.ac.at/teaching/courses/dst/vm/dst18.box"
6 config.vm.hostname = "dst18-vm"
7 config.vm.network :private_network, ip: "192.168.99.99"
9 # Prefer VirtualBox before VMware Fusion
10 config.vm.provider "virtualbox"
11 config.vm.provider "vmware_fusion"
14 config.vm.synced_folder "../", "/dst"
17 config.vm.provision "shell", path: "docker-configure.sh"