From: panasenco Date: Fri, 22 May 2020 20:57:10 +0000 (-0700) Subject: Fixed link in Dockerfile documentation. Updated README with working Docker link.... X-Git-Tag: v0.8.123~2^2^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=db56bb92f08e4f10083ffda13c92390a96633a95;p=scryer-prolog.git Fixed link in Dockerfile documentation. Updated README with working Docker link. Made general improvements to the Docker section of the README now that I'm not in a sleep-deprived zombie state. --- 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