GITOLITE.txt

[pub/jan/dst18.git] / vm / Vagrantfile

diff --git a/vm/Vagrantfile b/vm/Vagrantfile
index 24bc4b87347c7f0f425dc7a7caff65ef3d03ef8e..17562fa560371ab203f8f8eacfa82407d72800b0 100644 (file)
--- a/vm/Vagrantfile
+++ b/vm/Vagrantfile
@@ -1,6 +1,7 @@
 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"
@@ -8,4 +9,10 @@ Vagrant.configure("2") do |config|
   # 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