From db56bb92f08e4f10083ffda13c92390a96633a95 Mon Sep 17 00:00:00 2001 From: panasenco Date: Fri, 22 May 2020 13:57:10 -0700 Subject: [PATCH] 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. --- Dockerfile | 2 +- README.md | 26 +++++++++++++++++--------- 2 files changed, 18 insertions(+), 10 deletions(-) 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 -- 2.54.0