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