aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMark Allen <[email protected]>2016-10-13 16:44:39 -0500
committerGitHub <[email protected]>2016-10-13 16:44:39 -0500
commit23cb55861614e280c37c3f4451c87025a948d834 (patch)
tree0ddafc9fa54852289c4dac08e9134591eccb12e3
parentf73deb935909638fe5b61f708fff3f2544e02146 (diff)
parent95f3729b99290c5c33fa6dc193f64c7fab8f78fc (diff)
downloadkerl-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-xkerl16
1 files changed, 9 insertions, 7 deletions
diff --git a/kerl b/kerl
index f0e5512..18ea331 100755
--- a/kerl
+++ b/kerl
@@ -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