From 3842f41fc87181f418a1a11fd9cd85a1cbe8cd87 Mon Sep 17 00:00:00 2001 From: Fernando Herrero <fherrero@iri.upc.edu> Date: Thu, 18 Feb 2021 09:46:36 +0100 Subject: [PATCH] Update README.md --- README.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/README.md b/README.md index 3f372cd..6ed1d13 100644 --- a/README.md +++ b/README.md @@ -67,6 +67,16 @@ To open new terminals on the same container (last container): docker exec -it `docker ps -qn 1` /bin/bash ``` +If you exit from all terminals, the container becomes exited and the previous command won't work, "Container is not running". + +To start the last container again use: + +```bash +docker start -a -i `docker ps -l -q` +``` + +This command uses the last created container. To use a different one, substitute the `` `docker ps -l -q` `` with the container ID or name, which can be retrieved with `docker container list -a` + ## Disclaimer Copyright (C) Institut de Robòtica i Informà tica Industrial, CSIC-UPC. -- GitLab