diff options
Diffstat (limited to 'resources/tools')
| -rw-r--r-- | resources/tools/vagrant/Vagrantfile | 1 |
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 |