Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Windows installation fails if due to use of Start-BitsTransfer #154

Open
Timmmm opened this issue Dec 28, 2024 · 0 comments · May be fixed by #155
Open

Windows installation fails if due to use of Start-BitsTransfer #154

Timmmm opened this issue Dec 28, 2024 · 0 comments · May be fixed by #155

Comments

@Timmmm
Copy link
Contributor

Timmmm commented Dec 28, 2024

I ran into exactly the same issue as in this comment - for some reason there are a load of MozillaUpdate transfers pending, and their existence causes Start-BitsTransfer to fail with Object reference not set to an instance of an object.. Perhaps it would be better to use Invoke-WebRequest instead to avoid this issue?
Timmmm added a commit to Timmmm/elan that referenced this issue Dec 28, 2024
@Timmmm
Use Invoke-WebRequest in elan-init.ps1
bae71f5 
This avoids some potential issues with Start-BitsTransfer. It also gives a nice progress bar UI in the terminal.

Fixes leanprover#154
@Timmmm Timmmm linked a pull request Dec 28, 2024 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Use Invoke-WebRequest in elan-init.ps1 Timmmm/elan
1 participant
@Timmmm