@@ -14,9 +14,9 @@ The docker setup is managed using ``make`` in the ``docker-compose`` directory.
...
@@ -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 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`` 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
make clean
docker volume prune
docker volume prune
docker build-nocache
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.
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.