diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2016-07-04 01:40:24 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2016-07-04 01:41:43 +0900 |
commit | 34965edcdaf9ab363dc0ab3e6f5252328a19178a (patch) | |
tree | 9d3acf734edda38e3eb795f784087f402f235619 /install | |
parent | bd4377084dcc9e1268bddae7c6be25b202366050 (diff) |
[install] Fall back to wget if curl failed
Close #605
Diffstat (limited to 'install')
-rwxr-xr-x | install | 17 |
1 files changed, 11 insertions, 6 deletions
@@ -1,6 +1,7 @@ #!/usr/bin/env bash set -u +set -o pipefail [[ "$@" =~ --pre ]] && version=0.13.2 pre=1 || version=0.13.2 pre=0 @@ -109,6 +110,14 @@ link_fzf_in_path() { return 1 } +try_curl() { + command -v curl > /dev/null && curl -fL $1 | tar -xz +} + +try_wget() { + command -v wget > /dev/null && wget -O - $1 | tar -xz +} + download() { echo "Downloading bin/fzf ..." if [ $pre = 0 ]; then @@ -128,12 +137,8 @@ download() { fi local url=https://github.com/junegunn/fzf-bin/releases/download/$version/${1}.tgz - if command -v curl > /dev/null; then - curl -fL $url | tar -xz - elif command -v wget > /dev/null; then - wget -O - $url | tar -xz - else - binary_error="curl or wget not found" + if ! (try_curl $url || try_wget $url); then + binary_error="Failed to download with curl and wget" return fi |