chore: simplify elan-init.sh

leanprover · Jun 24, 2024 · f8c0c50 · f8c0c50
1 parent c387805
commit f8c0c50
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/elan-init.sh b/elan-init.sh
@@ -98,15 +98,13 @@ main() {
     fi
 
     ensure mkdir -p "$_dir"
-    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*)
-            ensure curl -sSfL "$ELAN_UPDATE_ROOT/download/$_latest/elan-$_arch.zip" > "$_dir/elan-init.zip"
+            ensure curl -sSfL "$ELAN_UPDATE_ROOT/latest/download/elan-$_arch.zip" > "$_dir/elan-init.zip"
             (cd "$_dir"; ensure unzip elan-init.zip; ignore rm elan-init.zip)
             ;;
         *)
-            ensure curl -sSfL "$ELAN_UPDATE_ROOT/download/$_latest/elan-$_arch.tar.gz" > "$_dir/elan-init.tar.gz"
+            ensure curl -sSfL "$ELAN_UPDATE_ROOT/latest/download/elan-$_arch.tar.gz" > "$_dir/elan-init.tar.gz"
             (cd "$_dir"; ensure tar xf elan-init.tar.gz; ignore rm elan-init.tar.gz)
             ;;
     esac