From d0b183af797f2ad3a535ebe1603a89c3c6942407 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 18 Aug 2019 18:02:54 +0100 Subject: [PATCH] Improved docker run command. --- .../technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy index 9aa96f6..2cce6e5 100644 --- a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy +++ b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy @@ -34,7 +34,10 @@ available on \href{https://cloud.docker.com/u/logicalhacking/}{Docker Hub}. Thus your installation of Docker supports X11 application, you can start \isadof as follows: \begin{bash} -ë\prompt{}ë docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix logicalhacking/isabelle_dof-ë\doflatestversionë_ë\MakeLowercase{\isabellelatestversion}ë isabelle jedit +ë\prompt{}ë docker run -ti --rm -e DISPLAY=$DISPLAY \ + -v /tmp/.X11-unix:/tmp/.X11-unix \ + logicalhacking/isabelle_dof-ë\doflatestversionë_ë\MakeLowercase{\isabellelatestversion}ë \ + isabelle jedit \end{bash} \