From d7f66d97c6dd666e5eff947adad9834e7a133092 Mon Sep 17 00:00:00 2001 From: Jan Vales Date: Mon, 26 Mar 2018 16:11:21 +0200 Subject: [PATCH] Fix dst18-vagrantfile to download the box by itself --- vm/Vagrantfile | 1 + 1 file changed, 1 insertion(+) diff --git a/vm/Vagrantfile b/vm/Vagrantfile index 24bc4b8..a2f1230 100644 --- 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" -- 2.43.0