move data-sources/ directory in new git repos

[nominatim.git] / Vagrantfile

diff --git a/Vagrantfile b/Vagrantfile
index fa23bd1803f607bef3c2e043a37398ba01b4e7d2..87118c43524dbc9a66934afa9053ec84c54b1b32 100644 (file)
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -15,6 +15,15 @@ Vagrant.configure("2") do |config|
   end
 
   config.vm.define "ubuntu", primary: true do |sub|
+      sub.vm.box = "bento/ubuntu-20.04"
+      sub.vm.provision :shell do |s|
+        s.path = "vagrant/Install-on-Ubuntu-20.sh"
+        s.privileged = false
+        s.args = [checkout]
+      end
+  end
+
+  config.vm.define "ubuntu18", primary: true do |sub|
       sub.vm.box = "bento/ubuntu-18.04"
       sub.vm.provision :shell do |s|
         s.path = "vagrant/Install-on-Ubuntu-18.sh"