warbo-utilities: beb036695b6d73422b5392aebf6cd816ad4b753d

     1: #!/usr/bin/env bash
     2: 
     3: # Keep trying a download that may get stuck, by timing out and looping
     4: [[ -n "$TIMEOUT" ]] || TIMEOUT=120
     5: while ! timeout "$TIMEOUT" wget -o /dev/stderr -c -O "$1" "$2"; do sleep 3; done