diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2021-11-19 15:13:52 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-19 15:13:52 +0100 |
commit | 9cd8cffefc65fe425c6aa07aa3bc67a8eec46087 (patch) | |
tree | 7c943d6ff3128da85f249133431cb338b238406c /scripts | |
parent | 2eefdc720867fab8c8e33eeed031d5906d1a9dde (diff) | |
parent | d5b36bdb58c5b8182b36ee6869936323a2f2fec7 (diff) |
Merge pull request #5607 from kmt-lnh/install-ergonomics
curl usage in install script in sync with instructions
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/install.in | 6 |
1 files 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 |