From b744c9fdb6cf5762b7059bea4fefb05e1dfc2ef6 Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Mon, 15 May 2023 20:15:24 -0500 Subject: [PATCH] Update run.sh --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index 1f9b6f37..94847641 100755 --- a/run.sh +++ b/run.sh @@ -16,7 +16,7 @@ if [[ "${noheader}" != *" ${1} "* ]] && [[ "${noheader}" != *" ${2} "* ]]; then # fi # if [ "${1}" != "guiX" ]; then - if curl -m 15 -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then + if curl -m 5 -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then if [ "${2}" != "q" ]; then echo -en "${idsCL[LightCyan]}Checking for updates...${idsCL[Default]}" echo ""