chore(ci): fix the download filename
This commit is contained in:
parent
6b720286c6
commit
18feec9030
|
@ -54,7 +54,7 @@ mkdir -p _upgrade_base
|
||||||
pushd _upgrade_base
|
pushd _upgrade_base
|
||||||
|
|
||||||
for tag in $(../scripts/relup-base-vsns.sh $EDITION | xargs echo -n); do
|
for tag in $(../scripts/relup-base-vsns.sh $EDITION | xargs echo -n); do
|
||||||
filename="$PROFILE-$SYSTEM-${tag#[e|v]}-$ARCH.zip"
|
filename="$PROFILE-${tag#[e|v]}-otp$OTP_VSN-$SYSTEM-$ARCH.zip"
|
||||||
url="https://www.emqx.com/downloads/$DIR/${tag#[e|v]}/$filename"
|
url="https://www.emqx.com/downloads/$DIR/${tag#[e|v]}/$filename"
|
||||||
echo "downloading base package from ${url} ..."
|
echo "downloading base package from ${url} ..."
|
||||||
if [ ! -f "$filename" ] && curl -I -m 10 -o /dev/null -s -w "%{http_code}" "${url}" | grep -q -oE "^[23]+" ; then
|
if [ ! -f "$filename" ] && curl -I -m 10 -o /dev/null -s -w "%{http_code}" "${url}" | grep -q -oE "^[23]+" ; then
|
||||||
|
|
Loading…
Reference in New Issue