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.

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

debian: Support downloading from a mirror in addition to having it locally #12

Merged
merged 13 commits into from Jul 28, 2016
Merged

debian: Support downloading from a mirror in addition to having it locally #12

merged 13 commits into from Jul 28, 2016

Commits on Jul 28, 2016

  1. Support downloading files from a mirror, instead of having them local

    @iainlane
    iainlane authored and Iain Lane committed Jul 28, 2016
    f07b25a

  2. Try to use HTTP/FTP directly so that we can set timeouts

    @iainlane
    iainlane authored and Iain Lane committed Jul 28, 2016
    c892185

  3. Try to use std.stdio

    @iainlane
    iainlane authored and Iain Lane committed Jul 28, 2016
    022bd8d

  4. Be less noisy

    Iain Lane committed Jul 28, 2016
    debde9b

  5. Add a helper to find the first {xz, bz2, gz} file we can, and downloa… 

    …d it if necessary
    Iain Lane committed Jul 28, 2016
    8ee45b3

  6. utils: Use rawWrite when downloading 

    Otherwise the textual representation of the byte array is written -> [1,
2, 3, 4]
    Iain Lane committed Jul 28, 2016
    468c394

  7. immutable things are immutable auto by default

    Iain Lane committed Jul 28, 2016
    9b3070f

  8. Move downloadIfNecessary to the debian backend

    Iain Lane committed Jul 28, 2016
    1cecf19

  9. Add a documentation comment

    Iain Lane committed Jul 28, 2016
    6d97045

  10. Make downloadFile support retrying on timeouts 

    Retry 5 times by default.
    Iain Lane committed Jul 28, 2016
    5545404

  11. utils: Add pre and postconditions to downloadFile

    Iain Lane committed Jul 28, 2016
    26b5fd0

  12. Remove a comment asking for something which now happens

    Iain Lane committed Jul 28, 2016
    dd61afa

  13. debian/utils.d: Update docs for downloadIfNecessary 

    This function is kind of weird, we might want to think of a better API
for it.
    Iain Lane committed Jul 28, 2016
    5494463