aboutsummaryrefslogtreecommitdiffstats
path: root/resources/tools
diff options
context:
space:
mode:
Diffstat (limited to 'resources/tools')
-rw-r--r--resources/tools/vagrant/Vagrantfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/resources/tools/vagrant/Vagrantfile b/resources/tools/vagrant/Vagrantfile
index 0c4a5d8fd6..61125e3511 100644
--- a/resources/tools/vagrant/Vagrantfile
+++ b/resources/tools/vagrant/Vagrantfile
@@ -6,6 +6,7 @@ Vagrant.configure("2") do |config|
# Base box definition, currently using
# Official Ubuntu 18.04 LTS (Bionic Beaver) Daily Build
config.vm.box = "ubuntu/bionic64"
+ config.vm.box_version = "20190724.1.0"
# Disable automatic box update checking
config.vm.box_check_update = false