VAGRANT.md: we use different database DSN syntax these days

diff --git a/VAGRANT.md b/VAGRANT.md
index 4c8eb724e5fbad5c227b2aad111562cae22db1e7..b10a5ac779cc9e9fe756f7e375e838ad0a37a827 100644 (file)
--- a/VAGRANT.md
+++ b/VAGRANT.md
@@ -160,9 +160,9 @@ You can configure/download other Vagrant boxes from [https://app.vagrantup.com/b
 
 Let's say you have a Postgres database named `nominatim_it` on server `your-server.com` and port `5432`. The Postgres username is `postgres`. You can edit `settings/local.php` and point Nominatim to it.
 
-    pgsql://postgres@your-server.com:5432/nominatim_it
+    pgsql:host=your-server.com;port=5432;user=postgres;dbname=nominatim_it
     
-No data import necessary or restarting necessary.
+No data import or restarting necessary.
 
 If the Postgres installation is behind a firewall, you can try