diff options
author | Mark Allen <[email protected]> | 2016-10-13 16:44:39 -0500 |
---|---|---|
committer | GitHub <[email protected]> | 2016-10-13 16:44:39 -0500 |
commit | 23cb55861614e280c37c3f4451c87025a948d834 (patch) | |
tree | 0ddafc9fa54852289c4dac08e9134591eccb12e3 | |
parent | f73deb935909638fe5b61f708fff3f2544e02146 (diff) | |
parent | 95f3729b99290c5c33fa6dc193f64c7fab8f78fc (diff) | |
download | kerl-23cb55861614e280c37c3f4451c87025a948d834.tar.gz kerl-23cb55861614e280c37c3f4451c87025a948d834.tar.bz2 kerl-23cb55861614e280c37c3f4451c87025a948d834.zip |
Merge pull request #166 from kerl/gh83
Exit if curl fails; download if archive 0 sized
-rwxr-xr-x | kerl | 16 |
1 files changed, 9 insertions, 7 deletions
@@ -201,7 +201,7 @@ get_git_releases() get_tarball_releases() { - curl -q -L -s $ERLANG_DOWNLOAD_URL/ | \ + curl -f -q -L -s $ERLANG_DOWNLOAD_URL/ | \ sed $SED_OPT -e 's/^.*<[aA] [hH][rR][eE][fF]=\"\otp_src_([-0-9A-Za-z_.]+)\.tar\.gz\">.*$/\1/' \ -e '/^R1|^[0-9]/!d' | \ sed -e "s/^R\(.*\)/\1:R\1/" | sed -e "s/^\([^\:]*\)$/\1-z:\1/" | sort | cut -d':' -f2 @@ -214,13 +214,13 @@ update_checksum_file() return 0 else echo "Getting checksum file from erlang.org..." - curl -L -o "$KERL_DOWNLOAD_DIR/MD5" "$ERLANG_DOWNLOAD_URL/MD5" || exit 1 + curl -f -L -o "$KERL_DOWNLOAD_DIR/MD5" "$ERLANG_DOWNLOAD_URL/MD5" || exit 1 fi } ensure_checksum_file() { - if [ ! -f "$KERL_DOWNLOAD_DIR"/MD5 ]; then + if [ ! -s "$KERL_DOWNLOAD_DIR"/MD5 ]; then update_checksum_file fi } @@ -1227,16 +1227,18 @@ download() github_download() { - if [ ! -f "$KERL_DOWNLOAD_DIR/$1" ]; then + # if the file doesn't exist or the file has no size + if [ ! -s "$KERL_DOWNLOAD_DIR/$1" ]; then echo "Downloading $1 to $KERL_DOWNLOAD_DIR" - curl -L -o "$KERL_DOWNLOAD_DIR/$1" "$OTP_GITHUB_URL/archive/$1" + curl -f -L -o "$KERL_DOWNLOAD_DIR/$1" "$OTP_GITHUB_URL/archive/$1" || exit 1 fi } tarball_download() { - if [ ! -f "$KERL_DOWNLOAD_DIR/$1" ]; then - curl -L -o "$KERL_DOWNLOAD_DIR/$1" "$ERLANG_DOWNLOAD_URL/$1" + if [ ! -s "$KERL_DOWNLOAD_DIR/$1" ]; then + echo "Downloading $1 to $KERL_DOWNLOAD_DIR" + curl -f -L -o "$KERL_DOWNLOAD_DIR/$1" "$ERLANG_DOWNLOAD_URL/$1" || exit 1 update_checksum_file fi ensure_checksum_file |