From 6b87f44efc0743059d42692be9817ef9d3e9814c Mon Sep 17 00:00:00 2001 From: Vlad Ivanov Date: Tue, 14 Mar 2023 22:18:22 +0100 Subject: [PATCH] wip commit-id:3441011d --- docs/src/guide/gettingstarted.t | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/src/guide/gettingstarted.t b/docs/src/guide/gettingstarted.t index 4ed70ef30..2d0cf1606 100644 --- a/docs/src/guide/gettingstarted.t +++ b/docs/src/guide/gettingstarted.t @@ -8,9 +8,8 @@ ANCHOR: docker_github > --publish 8000:8000 \ > --env JOSH_REMOTE=https://github.com \ > --volume josh-vol:/data/git \ - > joshproject/josh-proxy:latest + > joshproject/josh-proxy:latest >/dev/null ANCHOR_END: docker_github - * (glob) # waiting for josh to be running $ until curl -s http://localhost:8000/ @@ -90,3 +89,4 @@ ANCHOR_END: ls_doc # cleanup $ cd ${TESTTMP} $ docker stop josh-proxy >/dev/null + $ docker rm josh-proxy >/dev/null