From d5b36bdb58c5b8182b36ee6869936323a2f2fec7 Mon Sep 17 00:00:00 2001 From: Kristof Molnar-Tatai Date: Fri, 19 Nov 2021 13:10:04 +0100 Subject: [PATCH] switch order of wget and curl This change makes the script consistent with the installation instructions while keeping wget as an alternative. --- scripts/install.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/install.in b/scripts/install.in index 5be4f9dda..38d1fb36f 100755 --- a/scripts/install.in +++ b/scripts/install.in @@ -81,10 +81,10 @@ if [ "$(uname -s)" != "Darwin" ]; then require_util xz "unpack the binary tarball" fi -if command -v wget > /dev/null 2>&1; then - fetch() { wget "$1" -O "$2"; } -elif command -v curl > /dev/null 2>&1; then +if command -v curl > /dev/null 2>&1; then fetch() { curl -L "$1" -o "$2"; } +elif command -v wget > /dev/null 2>&1; then + fetch() { wget "$1" -O "$2"; } else oops "you don't have wget or curl installed, which I need to download the binary tarball" fi