Update install_macos.sh (leanprover-community#5684)

`brew install elan-init` does the same as `brew install elan` but without the warning that it's not the cask for *elan* the annotation tool for audio and video recordings.
WenrongZou · Jul 8, 2023 · e7ea184 · e7ea184
1 parent 508cf50
commit e7ea184
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/install_macos.sh b/scripts/install_macos.sh
@@ -11,7 +11,7 @@ else
     brew update
 fi
 
-brew install elan
+brew install elan-init
 elan toolchain install stable
 elan default stable