From 4fc5e8050b613b6bffbafb1448d849b62f382b17 Mon Sep 17 00:00:00 2001 From: Robin Dunn Date: Wed, 24 Oct 2018 19:25:18 -0700 Subject: [PATCH] Merge pull request #1037 from ibell/patch-1 Bump default ubuntu distro in builds to 18.04 (cherry picked from commit ec8f14da1c08249c3136751c0575543faf6c0ebe) --- vagrant/README.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/vagrant/README.rst b/vagrant/README.rst index 016e2ea7..516cc921 100644 --- a/vagrant/README.rst +++ b/vagrant/README.rst @@ -50,9 +50,9 @@ release or the snapshots server can be used. With that file in place then a build for a specific distro can be done with just a few vagrant commands, for example:: - cd vagrant/ubuntu-16.04 + cd vagrant/ubuntu-18.04 vagrant up - vagrant ssh -c "scripts/build.sh ubuntu-16.04" + vagrant ssh -c "scripts/build.sh ubuntu-18.04" vagrant halt Please note that currently this will do up to 8 complete builds, one for each