From fc4a978a7b316b2b5b51cd55f3f2edff07aa3f89 Mon Sep 17 00:00:00 2001 From: Jan David Mol <mol@astron.nl> Date: Fri, 8 Oct 2021 09:57:15 +0200 Subject: [PATCH] L2SS-434: Fix syntax of deep clean procedure --- docs/source/developer.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/source/developer.rst b/docs/source/developer.rst index e14e3350d..517dfa324 100644 --- a/docs/source/developer.rst +++ b/docs/source/developer.rst @@ -14,9 +14,9 @@ The docker setup is managed using ``make`` in the ``docker-compose`` directory. - ``make restart <container>`` to restart a specific container, for example to effectuate a code change. - ``make clean`` to remove all images and containers, and the ``tangodb`` volume. To do a deeper clean, we need to remove all volumes and rebuild all containers from scratch:: - make clean - docker volume prune - docker build-nocache + make clean + docker volume prune + docker build-nocache Since the *Python code is taken from the host when the container starts*, restarting is enough to use the code you have in your local git repo. Rebuilding is unnecessary. -- GitLab