Improve error reporting in elan-init.ps1 (#153)

If the download fails the script currently throws away the exception information and prints a generic error. This changes it to also print the exception.
leanprover · Jan 14, 2025 · 52adac8 · 52adac8
1 parent a83c305
commit 52adac8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/elan-init.ps1 b/elan-init.ps1
@@ -58,6 +58,7 @@ try {
 }
 catch {
     Write-Host "Download failed for ${DownloadUrl}"
+    Write-Host $_
     return 1
 }