From e1da51401767dc44d127eec96327a4ca20c8dc6d Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <maltanar@gmail.com>
Date: Sun, 28 Jun 2020 16:10:37 +0100
Subject: [PATCH] [Docs] mention how to open new terminal in running container

---
 docs/finn/getting_started.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/finn/getting_started.rst b/docs/finn/getting_started.rst
index 5beabeb29..f4fa7a13d 100644
--- a/docs/finn/getting_started.rst
+++ b/docs/finn/getting_started.rst
@@ -31,6 +31,7 @@ Getting an interactive shell for development or experimentation
   sh run_docker.sh
 
 Simply running sh run-docker.sh without any additional arguments will clone the dependency repos, create a Docker container and give you a terminal with you can use for development for experimentation.
+If you want a new terminal on an already-running container, you can do this with `docker exec -it finn_dev_<username> bash`.
 
 .. warning:: The Docker container is spawned with the `--rm` option, so make sure that any important files you created inside the container are either in the /workspace/finn folder (which is mounted from the host computer) or otherwise backed up.
 
-- 
GitLab