Skip to content
Snippets Groups Projects
  1. May 20, 2013
    • Ludovic Courtès's avatar
      Add `--max-silent-time' to `guix build' and `guix package'. · 969e678e
      Ludovic Courtès authored
      * guix/scripts/build.scm (%default-options): Add default
        `max-silent-time' value.
        (show-help, %options):  Add `--max-silent-time'.
        (guix-build): Pass `max-silent-time' to `set-build-options'.
      * guix/scripts/package.scm (%default-options): Add default
        `max-silent-time' value.
        (show-help, %options):  Add `--max-silent-time'.
        (guix-package): Pass `max-silent-time' to `set-build-options'.
      * guix/ui.scm (string->number*): New procedure.
      * tests/derivations.scm ("build-expression->derivation and
        max-silent-time"): New test.
      * doc/guix.texi (Invoking guix package, Invoking guix build): Document
        `--max-silent-time'.
      969e678e
  2. May 18, 2013
  3. May 17, 2013
  4. May 16, 2013
  5. May 15, 2013
    • Ludovic Courtès's avatar
      substitute-binary: Pass `filtered-port' an unbuffered port. · 101d9f3f
      Ludovic Courtès authored
      This fixes a bug whereby `read-response' would read more than just the
      response, with the extra data going into the port's buffer; the
      "bzip2 -dc" process spawned by `filtered-port' would not see the those
      buffered data, which are definitely lost, and would bail out with
      "bzip2: (stdin) is not a bzip2 file."
      
      * guix/utils.scm (filtered-port): Document that INPUT must be
        unbuffered.
      * guix/web.scm (http-fetch): Add `buffered?' parameter.  Call
        `open-socket-for-uri' explicitly, and call `setvbuf' when BUFFERED? is
        false.  Pass the port to `http-get'.  Close it upon 301/302.
      * guix/scripts/substitute-binary.scm (fetch): Add `buffered?'
        parameter.  Pass it to `http-fetch'; honor it for `file' URIs.
        (guix-substitute-binary): Call `fetch' with #:buffered? #f for port RAW.
      * tests/utils.scm ("filtered-port, file"): Open FILE as unbuffered.
      101d9f3f
  6. May 14, 2013
  7. May 12, 2013
  8. May 11, 2013
  9. May 10, 2013
Loading