From caf0fe0f2fc8c23bda906381092d040ea36c77f2 Mon Sep 17 00:00:00 2001
From: David Seus <david.seus@mathematik.uni-stuttgart.de>
Date: Wed, 10 Oct 2018 17:02:10 +0200
Subject: [PATCH] fix README

---
 README.md | 23 +++++++++++++++--------
 1 file changed, 15 insertions(+), 8 deletions(-)

diff --git a/README.md b/README.md
index 466fa8e..1ea3ad3 100644
--- a/README.md
+++ b/README.md
@@ -1,44 +1,51 @@
 # Numerical experiments for LDD-TPR
-## Manual on using latest fenix image in Docker
+
+## Manual how to set up latest fenix image in Docker
 Pull the latest fenics Docker image
 ```
 	docker pull quay.io/fenicsproject/stable:latest;
 
+
 ## Create docker container named LDD-TPR with graphical display, share folder `pwd`:
 
-    docker run --dns=129.69.252.252 -it --env HOST_UID=$(id -u $USER) --env HOST_GID=$(id -g $USER) --env DISPLAY=unix$DISPLAY --device /dev/dri --volume /tmp/.X11-unix:/tmp/.X11-unix:rw --volume $(pwd):/home/fenics/shared --name LDD-TPR quay.io/fenicsproject/stable:latest /bin/bash 
+  docker run --dns=129.69.252.252 -it --env HOST_UID=$(id -u $USER) --env HOST_GID=$(id -g $USER) --env DISPLAY=unix$DISPLAY --device /dev/dri --volume /tmp/.X11-unix:/tmp/.X11-unix:rw --volume $(pwd):/home/fenics/shared --name LDD-TPR quay.io/fenicsproject/stable:latest /bin/bash 
+
 
 If you want the container do be automatically deleted after exiting add `--rm` option.
 
 
 If you have trouble with internet connection inside the container use
 
-        --dns=YOUR_DNS_SERVER
+  --dns=YOUR_DNS_SERVER
 
 
 ## Start LDD-TPR container and step into the container:
 
-    docker start LDD-TPR & docker exec -ti -u fenics LDD-TPR /bin/bash -l
+  docker start LDD-TPR & docker exec -ti -u fenics LDD-TPR /bin/bash -l
 
 
 ## Usefull docker commands:
 
 List all docker container
 
-    docker ps -a
+  docker ps -a
+
 
 Remove container
 
-    docker rm $container
+  docker rm $container
+
 
 Remove all stopped container
 
-    docker container prune
+  docker container prune
+
 
 List all images
 
     docker images
 
+
 Remove image
 
     docker rmi $image
@@ -58,5 +65,5 @@ check your dns settings.
 
 2. In the container, execute once the script `Rechtesetup/setpermissions.sh` to gain write access in `/home/fenics/shared`
 	
-	cd /home/fenics/shared/Rechtesetup & sudo ./setpermissions.sh
+  cd /home/fenics/shared/Rechtesetup & sudo ./setpermissions.sh
 
-- 
GitLab