Switch to debian stable and enable optional libvirt hypervisor.

diff --git a/Vagrantfile b/Vagrantfile
index 86fcac6eb62a8a37830c2f1b84dd654711e9cc1d..28d02e4f25165b98a26180e6fa14bef62f5c5786 100644 (file)
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -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"
 

diff --git a/provision.sh b/provision.sh
index 03cea6c0feead88b76b95c543e36cb8f59692cd4..0e8417cce5e55ec5efd7289991c61c83c30e6084 100755 (executable)
--- a/provision.sh
+++ b/provision.sh
@@ -2,11 +2,24 @@
 
 cd /vagrant
 
-apt update
-apt install -y docker.io docker-compose
+###############################
+# Get Docker + Docker-Compose #
+###############################
+apt-get update
+apt-get install -y -q apt-transport-https vim
 
-# remove stale containers (We do not care about left over images)
+wget -q "https://download.docker.com/linux/debian/gpg" -O - | apt-key add
+echo "deb https://download.docker.com/linux/debian stretch stable" > /etc/apt/sources.list.d/docker_com.list
+
+apt-get update
+apt-get install -y -q docker-ce docker-compose
+
+###################################################################
+# remove stale containers (We do not care about left over images) #
+###################################################################
 docker rm -f $(docker ps -aq) 2>/dev/null
 
-# recompose all
+#################
+# recompose all #
+#################
 docker-compose up --build -d