Merge remote-tracking branch 'origin/master' into 49-upload-all-containers-to-public...
[pub/jan/aic18.git] / Vagrantfile
index d3d641be004c3f3087e3fb89441a00e1e75b8941..9cc6e5365836f7d4f24e3cddc88693eecf90aa16 100644 (file)
@@ -1,11 +1,17 @@
 Vagrant.configure("2") do |config|
-  config.vm.box = "debian/testing64"
+  config.vm.box = "debian/stretch64"
 
   config.vm.provider "virtualbox" do |v|
     v.name = "aic18g6t4"
     v.memory = 2048
   end
 
+  config.vm.provider "libvirt" do |v|
+    v.memory = 2048
+
+    config.vm.synced_folder ".", "/vagrant", type: "rsync"
+  end
+
   # design-choice: run file in vm.
   config.vm.provision "shell", inline: "/vagrant/provision.sh"
 
@@ -13,8 +19,9 @@ Vagrant.configure("2") do |config|
 
   # only for debugging reasons?
   config.vm.network "forwarded_port", guest: 8081, host: 8081
-  config.vm.network "forwarded_port", guest: 8081, host: 8082
-  config.vm.network "forwarded_port", guest: 8082, host: 8083
-  config.vm.network "forwarded_port", guest: 8083, host: 8084
+  config.vm.network "forwarded_port", guest: 8082, host: 8082
+  config.vm.network "forwarded_port", guest: 8083, host: 8083
+  config.vm.network "forwarded_port", guest: 8084, host: 8084
+  config.vm.network "forwarded_port", guest: 8085, host: 8085
 
 end