From 8e8a4c317db677b6c0b81aa43948f9b20f44c933 Mon Sep 17 00:00:00 2001
From: Ivan Alglave <64541968+hihubbIe@users.noreply.github.com>
Date: Tue, 22 Nov 2022 10:48:47 +0100
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 737cb51..02a0a54 100644
--- a/README.md
+++ b/README.md
@@ -31,7 +31,7 @@ You may replace `3001` by any port you wish to run the server on.
 
 ### Setting up the database
 
-This server uses [Mongodb](https://www.mongodb.com/) for persistent data storage. To initiate the database, you must have an instance of mongo running. You may use the dockerfile located in `docker/` at the root of the project and run the command `docker-compose up -d` to create and run a mongo instance as a background task (get [Docker](https://www.docker.com/)).
+This server uses [Mongodb](https://www.mongodb.com/) for persistent data storage. To initiate the database, you must have an instance of mongo running. You may use the dockerfile located in `docker/` at the root of the project and run the command `$ docker-compose up -d` to create and run a mongo instance as a background task (get [Docker](https://www.docker.com/)).
 In the `src/config/config.json`, set the following field :
 
 ```json
-- 
GitLab