From a4cbdd2e0d9602921d833807f40ec3bfc4fba066 Mon Sep 17 00:00:00 2001
From: zstadler <zeev.stadler@gmail.com>
Date: Mon, 9 Jan 2023 17:26:29 +0200
Subject: [PATCH] Update build.sh

Following review comments
---
 build.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index 84aa841..1d4b378 100755
--- a/build.sh
+++ b/build.sh
@@ -2,7 +2,7 @@
 
 usage() (
 cat <<USAGE
-Build a docker image
+Build a docker image for GraphHopper and optionally push it to Docker Hub
 
 Usage:
   ./build.sh [[--push] <tag>]
@@ -14,6 +14,9 @@ Argument:
 Option:
   --push        Push the image to Docker Hub
   --help        Print this message
+  
+Docker Hub credentials are needed for pushing the image. If they are not provided using the
+DOCKERHUB_USER and DOCKERHUB_TOKEN environment variables, then they will be asked interactively.
 USAGE
 )
 
@@ -50,6 +53,5 @@ docker build . -t "${imagename}"
 if [ "${push}" == "false" ]; then
   echo "Use \"docker push ${imagename}\" to publish the image on Docker Hub"
 else
-  # TODO
   docker push "${imagename}"
 fi