From 5c082aa92a6e7cc30d7a3c065e9232070774f759 Mon Sep 17 00:00:00 2001 From: "Sean T. Allen" Date: Thu, 5 Dec 2024 14:58:27 +0000 Subject: [PATCH] Fix broken docker instructions --- INSTALL_DOCKER.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/INSTALL_DOCKER.md b/INSTALL_DOCKER.md index d5e5a84c3e..205e89b186 100644 --- a/INSTALL_DOCKER.md +++ b/INSTALL_DOCKER.md @@ -19,13 +19,13 @@ The docker images also include common Pony tools like [ponyup](https://github.co You'll need to install Docker using [the instructions here](https://docs.docker.com/engine/installation/). Then you can pull a pony docker image using the following command (where TAG is the tag you want to use) ```bash -docker pull docker://ghcr.io/ponylang/ponyc:TAG +docker pull ghcr.io/ponylang/ponyc:TAG ``` Then you'll be able to run `ponyc` to compile a Pony program in a given directory, running a command like this: ```bash -docker run -v /path/to/my-code:/src/main docker://ghcr.io/ponylang/ponyc:TAG +docker run -v /path/to/my-code:/src/main ghcr.io/ponylang/ponyc:TAG ``` If you're unfamiliar with Docker, remember to ensure that whatever path you provide for `/path/to/my-code` is a full path name and not a relative path, and also note the lack of a closing slash, `/`, at the *end* of the path name. @@ -33,13 +33,13 @@ If you're unfamiliar with Docker, remember to ensure that whatever path you prov Note that if your host doesn't match the docker container, you'll probably have to run the resulting program inside the docker container as well, using a command like this: ```bash -docker run -v /path/to/my-code:/src/main docker://ghcr.io/ponylang/ponyc:TAG ./main +docker run -v /path/to/my-code:/src/main ghcr.io/ponylang/ponyc:TAG ./main ``` To compile and run in one step run a command like this: ```bash -docker run -v /path/to/my-code:/src/main docker://ghcr.io/ponylang/ponyc:TAG sh -c "ponyc && ./main" +docker run -v /path/to/my-code:/src/main ghcr.io/ponylang/ponyc:TAG sh -c "ponyc && ./main" ``` ### Docker for Windows @@ -47,7 +47,7 @@ docker run -v /path/to/my-code:/src/main docker://ghcr.io/ponylang/ponyc:TAG sh Pull an image as above: ```bash -docker pull docker://ghcr.io/ponylang/ponyc:TAG +docker pull ghcr.io/ponylang/ponyc:TAG ``` Share a local drive (volume), such as `c:`, with Docker for Windows, so that they are available to your containers. (Refer to [shared drives](https://docs.docker.com/docker-for-windows/#shared-drives) in the Docker for Windows documentation for details.) @@ -55,7 +55,7 @@ Share a local drive (volume), such as `c:`, with Docker for Windows, so that the Then you'll be able to run `ponyc` to compile a Pony program in a given directory, running a command like this: ```bash -docker run -v c:/path/to/my-code:/src/main docker://ghcr.io/ponylang/ponyc:TAG +docker run -v c:/path/to/my-code:/src/main ghcr.io/ponylang/ponyc:TAG ``` Note the inserted drive letter. Replace with your drive letter as appropriate. @@ -63,11 +63,11 @@ Note the inserted drive letter. Replace with your drive letter as appropriate. To run a program, run a command like this: ```bash -docker run -v c:/path/to/my-code:/src/main docker://ghcr.io/ponylang/ponyc:TAG ./main +docker run -v c:/path/to/my-code:/src/main ghcr.io/ponylang/ponyc:TAG ./main ``` To compile and run in one step run a command like this: ```bash -docker run -v c:/path/to/my-code:/src/main docker://ghcr.io/ponylang/ponyc:TAG sh -c "ponyc && ./main" +docker run -v c:/path/to/my-code:/src/main ghcr.io/ponylang/ponyc:TAG sh -c "ponyc && ./main" ```