From 7333b99b89ee76a091dd83d24cb31e8b5556042b Mon Sep 17 00:00:00 2001 From: Mike Lang Date: Fri, 9 Dec 2016 08:05:44 -0800 Subject: [PATCH] scope launch script: Make the default port clear --- scope | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/scope b/scope index 4fb1b9a2e..7fa8f875b 100755 --- a/scope +++ b/scope @@ -29,7 +29,10 @@ usage() { $name help - Print usage info $name version - Print version info - PEERS are of the form HOST[:PORT], and HOST may be an ip or hostname. + PEERS are of the form HOST[:PORT] + HOST may be an ip or hostname. + PORT defaults to 4040. + Launch options: EOF docker run --rm -e CHECKPOINT_DISABLE --entrypoint=/home/weave/scope \