fix: locating latest release in elan-init.sh

Fixes #73
leanprover · May 3, 2022 · c586599 · c586599
1 parent 7d84490
commit c586599
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/elan-init.sh b/elan-init.sh
@@ -98,7 +98,7 @@ main() {
     fi
 
     ensure mkdir -p "$_dir"
-    local _latest=$(ensure curl -sSf "$ELAN_UPDATE_ROOT/latest" | cut -d'"' -f2 | awk -F/ '{print $NF}')
+    local _latest=$(ensure curl -sSfL -o /dev/null -w %{url_effective} "$ELAN_UPDATE_ROOT/latest" | cut -d'"' -f2 | awk -F/ '{print $NF}')
 
     case "$_arch" in
         *windows*)