]> git.somenet.org - pub/jan/dst18.git/blob - vm/Vagrantfile
Update vagrant configuration
[pub/jan/dst18.git] / 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
13   # shared folders
14   config.vm.synced_folder "../", "/dst"
15
16   # provision
17   config.vm.provision "shell", path: "docker-configure.sh"
18 end