test if wget is available
This commit is contained in:
parent
0d50078563
commit
debef4f74a
@ -1,5 +1,9 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
set -e
|
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"
|
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
|
wget https://fhir.github.io/latest-ig-publisher/org.hl7.fhir.publisher.jar -O input-cache/org.hl7.fhir.publisher.jar
|
||||||
echo "Done"
|
echo "Done"
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user