Way to retry rust-src download?

I’ve found that I often have trouble downloading data from static.rust-lang.org from my computer; regardless of the tool I’m using (curl, rustup, etc) I receive a “couldn’t resolve host name” error.

I don’t really know what causes this, but I’m typically able to resolve the issue by re-trying the download a couple times.

Sure enough, upon installing IntelliJ-Rust and opening a project, I got an error:

Failed to download standard library: rustup failed: `info: downloading component 'rust-src' error: component download failed for rust-src info: caused by: could not download file from 'https://static.rust-lang.org/dist/2017-03-11/rust-src-1.16.0.tar.gz' to 'C:\Users\<myname>\.rustup\tmp\7nbosxi96hsnu9ot_file info: caused by: error during download info: caused by: [6] Couldn't resolve host name (Couldn't resolve host 'static.rust-lang.org') 

I used “Invalidate Caches/Restart” to force the IDE to re-try the download; this failed once in the same way, then on the second invalidate/restart, the download was successful.

Is there an easier way to re-try a source-library download?

[matklad]

Yep, if the field is filled with some path that means that everything is OK.

[weaming]

Download stdlib should handle this.

Thanks for the report!

In my case, click to refresh and succeed getting rust stdlib