From debef4f74a17b25d3180db51c1a2edfd5327ee6e Mon Sep 17 00:00:00 2001 From: patrick-werner Date: Wed, 11 Sep 2019 17:19:55 -0400 Subject: [PATCH] test if wget is available --- _updatePublisher.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/_updatePublisher.sh b/_updatePublisher.sh index 74ddee6..2e3f07b 100755 --- a/_updatePublisher.sh +++ b/_updatePublisher.sh @@ -1,5 +1,9 @@ #!/bin/bash set -e +if ! type "wget" > /dev/null; then + echo "ERROR: Script needs wget to download latest IG Publisher. Please install wget." + exit 1 +fi echo "Downloading most recent publisher - it's ~100 MB, so this may take a bit" wget https://fhir.github.io/latest-ig-publisher/org.hl7.fhir.publisher.jar -O input-cache/org.hl7.fhir.publisher.jar echo "Done"