vm/Vagrantfile

   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"
   5
   6   config.vm.hostname = "dst18-vm"
   7   config.vm.network :private_network, ip: "192.168.99.99"
   8
   9   # Prefer VirtualBox before VMware Fusion
  10   config.vm.provider "virtualbox"
  11   config.vm.provider "vmware_fusion"
  12 end