From a2713522c9b36dc3647d0835cc9fe26ee1d80173 Mon Sep 17 00:00:00 2001
From: "Kasper D. Fischer" <kasper.fischer@rub.de>
Date: Sun, 27 Feb 2022 22:36:18 +0100
Subject: [PATCH] update Vagrantfile

create link to map directory at right position
---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 716f818..3848af0 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -8,7 +8,7 @@ Vagrant.configure("2") do |config|
     sudo apt-get -y install nginx
 
     echo "Starting nginx..."
-    sudo ln -s /vagrant/www /usr/share/nginx/html/map
+    sudo ln -s /vagrant/www /var/www/html/map
     sudo cp /vagrant/www/index.html.en /vagrant/www/index.html
     sudo useradd -s /bin/false nginx
     sudo service nginx restart