]> git.openstreetmap.org Git - nominatim.git/commitdiff
Vagrantfile - remove Ubuntu 18
authormarc tobias <mtmail@gmx.net>
Mon, 29 May 2023 22:22:18 +0000 (00:22 +0200)
committermarc tobias <mtmail@gmx.net>
Mon, 29 May 2023 22:22:18 +0000 (00:22 +0200)
Vagrantfile

index 0cc511c53802cc53bebdf8465819dfb49d22ef07..57e64c2c090bcb3addc53e5ffac801f214ddf7d7 100644 (file)
@@ -95,32 +95,4 @@ Vagrant.configure("2") do |config|
         s.args = [checkout, "install-nginx"]
       end
   end
-
-  config.vm.define "ubuntu18" do |sub|
-      sub.vm.box = "generic/ubuntu1804"
-      sub.vm.provision :shell do |s|
-        s.path = "vagrant/Install-on-Ubuntu-18.sh"
-        s.privileged = false
-        s.args = [checkout]
-      end
-  end
-
-  config.vm.define "ubuntu18-apache" do |sub|
-      sub.vm.box = "generic/ubuntu1804"
-      sub.vm.provision :shell do |s|
-        s.path = "vagrant/Install-on-Ubuntu-18.sh"
-        s.privileged = false
-        s.args = [checkout, "install-apache"]
-      end
-  end
-
-  config.vm.define "ubuntu18-nginx" do |sub|
-      sub.vm.box = "generic/ubuntu1804"
-      sub.vm.provision :shell do |s|
-        s.path = "vagrant/Install-on-Ubuntu-18.sh"
-        s.privileged = false
-        s.args = [checkout, "install-nginx"]
-      end
-  end
-
 end