From eeb8acc2a3df2c661c88c413c5b418b509de8a97 Mon Sep 17 00:00:00 2001 From: Dessalines Date: Sat, 4 Dec 2021 15:13:18 -0500 Subject: [PATCH] Fix docker dev port --- src/en/contributing/docker_development.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/en/contributing/docker_development.md b/src/en/contributing/docker_development.md index d317aa4..d51a759 100644 --- a/src/en/contributing/docker_development.md +++ b/src/en/contributing/docker_development.md @@ -24,7 +24,7 @@ cd docker/dev ./docker_update.sh ``` -and go to http://localhost:1235. +and go to http://localhost:1236 *Note: many features (like docs and pictures) will not work without using an nginx profile like that in `ansible/templates/nginx.conf`. @@ -37,5 +37,4 @@ To speed up the Docker compile, add the following to `/etc/docker/daemon.json` a } ``` -If the build is still too slow, you will have to use a -[local build](local_development.md) instead. +If the build is still too slow, you will have to use a [local build](local_development.md) instead.