From 96c0a7e5f14d885cb1e5f58e2289195795a68400 Mon Sep 17 00:00:00 2001
From: David Seus <david.seus@ians.uni-stuttgart.de>
Date: Wed, 14 Oct 2020 12:35:02 +0200
Subject: [PATCH] add alias tip for dockercontainer
---
Setup/README.md | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/Setup/README.md b/Setup/README.md
index a35fcff..540049e 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
```
--
GitLab