diff --git a/Setup/README.md b/Setup/README.md index a35fcff2dad64dce57b0dc4dfb49b048403d558c..540049e32a10df5ac87b8e7da26b830d5b7d8017 100644 --- a/Setup/README.md +++ b/Setup/README.md @@ -91,7 +91,11 @@ From anywhere in the command line you can start the docker container by running docker start LDD-TPR-fenics2019 & docker exec -ti -u fenics LDD-TPR-fenics2019 /bin/bash -l >>> -Tip: This command should be stored as a script or alias to not have to remember it. +Tip: This command should be stored as a script or alias to not have to remember it. For example, you could add +~~~bash +alias LDDdocker='docker start LDD-TPR-fenics2019 & docker exec -ti -u fenics LDD-TPR-fenics2019 /bin/bash -l' +~~~ +to your ~/.bashrc file (outside of the Docker container). >>> You should see a welcome message greeting you ```