From 8b4df0c04da30d5084a6d52ef0966bbab7b42aad Mon Sep 17 00:00:00 2001
From: "Kasper D. Fischer" <kasper.fischer@rub.de>
Date: Wed, 23 Feb 2022 13:48:21 +0100
Subject: [PATCH] add Vagrant file

---
 Vagrantfile | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 Vagrantfile

diff --git a/Vagrantfile b/Vagrantfile
new file mode 100644
index 0000000..7a1405d
--- /dev/null
+++ b/Vagrantfile
@@ -0,0 +1,16 @@
+Vagrant.configure("2") do |config|
+  config.vm.box = "ubuntu/focal64"
+  config.vm.synced_folder ".", "/vagrant"
+  config.vm.network(:forwarded_port, guest: 80, host: 8888)
+
+  config.vm.provision :shell, inline: <<-SHELL
+    sudo apt-get -y update
+    sudo apt-get -y install nginx
+
+    echo "Starting nginx..."
+    sudo ln -s /vagrant/www /usr/share/nginx/html/map
+    sudo cp /vagrant/www/index.html.en /vagrant/www/index.html
+    sudo useradd -s /bin/false nginx
+    sudo service nginx restart
+  SHELL
+end