diff options
author | Bartek Grzybowski <b.grzybowski@partner.samsung.com> | 2021-07-01 13:37:34 +0200 |
---|---|---|
committer | Bartek Grzybowski <b.grzybowski@partner.samsung.com> | 2021-07-01 12:59:12 +0000 |
commit | 98118d806331045d4035c0f6bfffdf151c6d553b (patch) | |
tree | 830ed1184838924d035ea80162b9f5e165d951cf | |
parent | 859d826e9ac5df0d874a26fb4542cb6031a8da61 (diff) |
[CODESEARCH] Upgrade Vagrant box to utilise newest 20.04 LTS
Change-Id: Ib8059e1c74ef460da0821f4403ab734c7a02b4f2
Issue-ID: INT-1941
Signed-off-by: Bartek Grzybowski <b.grzybowski@partner.samsung.com>
-rw-r--r-- | bootstrap/codesearch/Vagrantfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap/codesearch/Vagrantfile b/bootstrap/codesearch/Vagrantfile index 774a02134..af2d4a073 100644 --- a/bootstrap/codesearch/Vagrantfile +++ b/bootstrap/codesearch/Vagrantfile @@ -36,7 +36,7 @@ $upload_key = <<-SCRIPT SCRIPT Vagrant.configure("2") do |config| - config.vm.box = "generic/ubuntu1804" + config.vm.box = "generic/ubuntu2004" config.vm.synced_folder ".", synced_folder, type: "rsync", rsync__exclude: "Vagrantfile" config.vm.network "forwarded_port", guest: 6080, host: 6080 config.vm.provision "replace_dns", type: :shell, run: "always", inline: $replace_dns, args: host_ip |