nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Improved docker run command.

This commit is contained in:
Achim D. Brucker 2019-08-18 17:50:57 +01:00
parent d4485d764d
commit 8836c7b02f
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -11,9 +11,8 @@ is also available on Docker Hub. Thus, if you have Docker installed and your ins
Docker supports X11 application, you can start Isabelle/DOF as follows:
```console
foo@bar:~$ achim@logicalhacking:~$ docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/. \
X11-unix:/tmp/.X11-unix logicalhacking/isabelle_dof-1.0.0_isabelle2019 \
isabelle jedit
foo@bar:~$ docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix \
logicalhacking/isabelle_dof-1.0.0_isabelle2019 isabelle jedit
```
## Pre-requisites