diff --git a/README.md b/README.md index 1ea3ad323ac65a3781e96db5a1bd89e4be18b353..f4afed3c37bfaa0dcbae3c8949cc996253d855f1 100644 --- a/README.md +++ b/README.md @@ -3,12 +3,12 @@ ## Manual how to set up latest fenix image in Docker Pull the latest fenics Docker image ``` - docker pull quay.io/fenicsproject/stable:latest; + 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. @@ -16,29 +16,29 @@ If you want the container do be automatically deleted after exiting add `--rm` o 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