This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision |
howto:dockerimage [2018/02/01 09:23] – [Use polymake in a docker image] gawrilow | howto:dockerimage [2018/02/01 09:24] – [Use polymake in a docker image] gawrilow |
---|
====== Use polymake in a docker image ====== | ====== Use polymake in a docker image ====== |
| |
Starting with polymake version 3.2, nightly builds of the stable "master" code line are available as docker images on [[https://hub.docker.com/r/polymake/nightly/|DockerHub]]. We offer a small starter script facilitating the usual docker-related rituals like mounting your home directory or passing environment variables to the container. All what you need to do is to download {{ :download:polymake-in-container.sh |}}, make it executable (''chmod +x'') and run it. It will pull the most recent image and start an interactive polymake shell. It will also create a tiny configuration file ''$POLYMAKE_USER_DIR/container.config'' where you can tune its behavior. The default for POLYMAKE_USER_DIR, as usual, is ''~/.polymake'' . | Starting with polymake version 3.2, nightly builds of the stable "master" code line are available as docker images on [[https://hub.docker.com/r/polymake/nightly/|DockerHub]]. We offer a small starter script facilitating the usual docker-related rituals like mounting your home directory or passing environment variables to the container. All what you need to do is to download {{ :download:polymake-in-container.sh |}}, make it executable (''chmod +x'') and run it. It will pull the most recent image and start an interactive polymake shell. It will also create a tiny configuration file ''POLYMAKE_USER_DIR/container.config'' where you can tune its behavior. The default location for POLYMAKE_USER_DIR is, as usual, ''~/.polymake'' . |
| |
''polymake-in-container.sh'' can also be called with any arguments recognized by ''polymake'', like ''%%-a APP_NAME%%'' or ''%%--script FILE%%''. | ''polymake-in-container.sh'' can also be called with any arguments recognized by ''polymake'', like ''%%-a APP_NAME%%'' or ''%%--script FILE%%''. |