diff --git a/Dockerfile b/Dockerfile index 3b2c3a05..4ae378a5 100755 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -# Based on https://hub.docker.com/_/rust?tab=description and https://hub.docker.com/_/rust?tab=description +# Based on https://hub.docker.com/_/rust?tab=description and https://blog.sedrik.se/posts/my-docker-setup-for-rust/ # The first container is for build purposes only. FROM rust as builder diff --git a/README.md b/README.md index 623f7e6e..cc81f416 100644 --- a/README.md +++ b/README.md @@ -130,23 +130,31 @@ producing a faster executable. ### Docker Install (All Platforms) -To automatically download, install, and run Scryer Prolog via Docker, -simply run: +First, install [Docker](https://docs.docker.com/get-docker/) on Linux, +Windows, or Mac. + +Once Docker is installed, you can automatically download, install, and +run Scryer Prolog in a single command: ``` -$> docker run -it mthom/scryer-prolog +$> docker run -it mjt128/scryer-prolog ``` -To be able to load your program files, bind mount your programs folder -as a Docker volume: +To consult your Prolog files, bind mount your programs folder as a +[Docker volume](https://docs.docker.com/storage/volumes/): ``` -$> docker run -v /home/user/prolog:/mnt -it mthom/scryer-prolog -?- consult('mnt/program.pl'). +$> docker run -v /home/user/prolog:/mnt -it mjt128/scryer-prolog +?- consult('/mnt/program.pl'). true. ``` -[Docker](https://hub.docker.com/editions/community/docker-ce-desktop-windows) -is currently the only way to run scryer-prolog on Windows. +This works on Windows too: + +``` +$> docker run -v C:\Users\user\Documents\prolog:/mnt -it mjt128/scryer-prolog +?- consult('/mnt/program.pl'). +true. +``` ## Tutorial