Merge pull request #1747 from rjdjohnston/fix/increase-curl-timeout

fix: Increase curl max-time to 15 seconds for connectivity check
This commit is contained in:
Bill Zimmerman 2025-02-04 08:12:26 +01:00 committed by GitHub
commit 624e43f954
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -299,7 +299,7 @@ function _check_internet() {
tput civis # hide cursor tput civis # hide cursor
# run check in background # run check in background
( curl -Is --connect-timeout 3 --max-time 5 https://github.com | head -n 1 | grep "HTTP/2 200" >/dev/null ) & ( curl -Is --connect-timeout 3 --max-time 15 https://github.com | head -n 1 | grep "HTTP/2 200" >/dev/null ) &
local pid=$! local pid=$!
# display spinner while curl runs # display spinner while curl runs