aboutsummaryrefslogtreecommitdiff
path: root/contrib/install_db4.sh
diff options
context:
space:
mode:
authorFlorian Baumgartl <florian@baumgartl.net>2021-12-02 22:02:40 +0100
committerGitHub <noreply@github.com>2021-12-02 22:02:40 +0100
commitb062da009001c1beb362169d700663d7220eef5e (patch)
tree8d33f059719e78b554f8ddd7c534a0862b6a6c7f /contrib/install_db4.sh
parent0b30bdd519ae06ec70e136a1b890421eb6f764cc (diff)
contrib: add check for wget command in install_db4.sh
Diffstat (limited to 'contrib/install_db4.sh')
-rwxr-xr-xcontrib/install_db4.sh7
1 files changed, 5 insertions, 2 deletions
diff --git a/contrib/install_db4.sh b/contrib/install_db4.sh
index 81c88a2ae7..2850c4b993 100755
--- a/contrib/install_db4.sh
+++ b/contrib/install_db4.sh
@@ -55,8 +55,11 @@ http_get() {
echo "File ${2} already exists; not downloading again"
elif check_exists curl; then
curl --insecure --retry 5 "${1}" -o "${2}"
- else
+ elif check_exists wget; then
wget --no-check-certificate "${1}" -O "${2}"
+ else
+ echo "Simple transfer utilities 'curl' and 'wget' not found. Please install one of them and try again."
+ exit 1
fi
sha256_check "${3}" "${2}"
@@ -64,7 +67,7 @@ http_get() {
# Ensure the commands we use exist on the system
if ! check_exists patch; then
- echo "Command-line tool 'patch' not found. Install patch and try again."
+ echo "Command-line tool 'patch' not found. Install patch and try again."
exit 1
fi