From 60049fe0df5551de3f72e01e4644091a9ea40da0 Mon Sep 17 00:00:00 2001
From: Nico Vermaas <vermaas@astron.nl>
Date: Tue, 26 Jul 2022 14:47:49 +0200
Subject: [PATCH] added quotes to ports

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 4c7104d2..565e3ccf 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ After a collegue has made changes, then locally:
 
 ### Postgres Database in Docker
 
-Run `docker-compose up -d` with the following compose file to spin up a new Postgres container.
+Run `docker-compose -f docker-compose-postgres-dev.yml up -d` with the following compose file to spin up a new Postgres container.
 See the `docker-compose-postgres-dev.yml` file in the `docker` directory.
 (not that port 5433 is used. You can change that at will, but then also change it in `dev.py`)
 ```yaml
-- 
GitLab