From 2da9d073027f954efcf36bbf141da799574b7c80 Mon Sep 17 00:00:00 2001 From: Sam Alba Date: Tue, 5 Oct 2021 19:12:16 -0700 Subject: [PATCH] docs: use different port for getting started registry Signed-off-by: Sam Alba --- docs/learn/tests/getting-started/plans/local/local.cue | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/learn/tests/getting-started/plans/local/local.cue b/docs/learn/tests/getting-started/plans/local/local.cue index 05d7c064..a9460987 100644 --- a/docs/learn/tests/getting-started/plans/local/local.cue +++ b/docs/learn/tests/getting-started/plans/local/local.cue @@ -20,14 +20,14 @@ run: docker.#Run & { registry: docker.#Run & { ref: "registry:2" name: "registry-local" - ports: ["5000:5000"] + ports: ["5042:5000"] socket: dockerSocket } // push to our local registry // this concrete value satisfies the string constraint // we defined in the previous file -push: target: "localhost:5000/todoapp" +push: target: "localhost:5042/todoapp" // Application URL appURL: "http://localhost:8080/" & dagger.#Output