more on Docker;
authorwenzelm
Sun Oct 08 16:50:37 2017 +0200 (19 months ago)
changeset 667926b76a5d1b7a5
parent 66791 e51f789f7705
child 66793 deabce3ccf1f
child 66818 5bc903a60932
more on Docker;
Admin/Release/CHECKLIST
     1.1 --- a/Admin/Release/CHECKLIST	Sun Oct 08 15:54:55 2017 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Sun Oct 08 16:50:37 2017 +0200
     1.3 @@ -82,6 +82,13 @@
     1.4  
     1.5    hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist
     1.6  
     1.7 +- Docker image:
     1.8 +
     1.9 +  isabelle build_docker -E -t makarius/isabelle:Isabelle2017 Isabelle2017_app.tar.gz
    1.10 +
    1.11 +  https://hub.docker.com/r/makarius/isabelle
    1.12 +  https://docs.docker.com/docker-cloud/builds/push-images
    1.13 +
    1.14  
    1.15  Final release stage
    1.16  ===================