Skip to content
Snippets Groups Projects
  1. Aug 23, 2021
  2. Aug 19, 2021
    • boyska's avatar
      --stats does what it says · 0a4371ad
      boyska authored
      it is especially useful when you need to know the ratio of good vs bad
      mirrors (happens during release process)
      
      closes #18540
      0a4371ad
  3. Apr 08, 2021
  4. Jan 26, 2021
  5. Jun 26, 2020
  6. Jun 16, 2020
    • sajolida's avatar
      Shorten drastically the timeout of wget (#17736) · 3221da5a
      sajolida authored
      By default wget has a timeout of 900 seconds for each of DNS lookup, TCP
      connection, and idle time. Shortening it will make the --fast runs more
      predictable in duration.
      
      I was hesitating to put an even lower timeout to match better what the
      expectation of users might be: I would probably try to restart a
      download that was idle for 60 seconds.
      
      But I'm also afraid of triggering too many fast negative.
      3221da5a
    • sajolida's avatar
      Use consistent output format · 08a59c34
      sajolida authored
      08a59c34
  7. Jun 03, 2020
  8. May 25, 2020
  9. May 19, 2020
  10. May 10, 2020
  11. May 09, 2020
Loading