commit 36b3297418107450a864f4cdbd41c3aa1b65b043 parent be7c54710e0c41322fbc88e959c703e78055d58b Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Fri, 23 Dec 2016 19:30:30 +0100 README Diffstat:
| M | docker/README | | | 4 | ++++ |
1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/docker/README b/docker/README @@ -31,6 +31,10 @@ Note that the value passed to option -t is completely arbitrary. === How to destroy them === +Consider also the --no-cache option to force a rebuild. + + $ docker build --no-cache <THIS_REPO>/docker/base + 1. Stop all containers: $ docker stop $(docker ps -a -q)