Skip to content
This repository has been archived by the owner on Oct 11, 2024. It is now read-only.

More robust downloading #3

Merged
merged 3 commits into from
Jan 23, 2015
Merged

More robust downloading #3

merged 3 commits into from
Jan 23, 2015

Conversation

t-b
Copy link
Contributor

@t-b t-b commented Nov 13, 2014

No description provided.

@t-b t-b mentioned this pull request Nov 19, 2014
Closed
t-b added 3 commits January 14, 2015 11:30
@t-b
Make curl follow 3XX http redirects
2c7b1d6 
wget follows redirections by default

Signed-off-by: Thomas Braun <thomas.braun@byte-physics.de>
@t-b
Retry transferring files 10 times
473bb4d 
Signed-off-by: Thomas Braun <thomas.braun@byte-physics.de>
@t-b
Prefer curl over wget
54870db 
As we compile curl ourselves and can keep it more easily in good shape.

Signed-off-by: Thomas Braun <thomas.braun@byte-physics.de>
@t-b
Copy link
Contributor Author

t-b commented Jan 14, 2015

@sschuberth Fixed the commit messages.

sschuberth added a commit that referenced this pull request Jan 23, 2015
@sschuberth
Merge pull request #3 from t-b/more_robust_downloading
1624e22 
More robust downloading
@sschuberth sschuberth merged commit 1624e22 into sschuberth:master Jan 23, 2015
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@t-b @sschuberth