Skip to content
Snippets Groups Projects
  1. Oct 20, 2022
  2. Jun 22, 2022
  3. Mar 16, 2022
  4. Mar 15, 2022
  5. Mar 09, 2022
  6. Mar 08, 2022
  7. Aug 23, 2021
  8. 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
  9. Apr 08, 2021
  10. Jan 26, 2021
  11. Jun 26, 2020
  12. 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
  13. Jun 03, 2020
Loading