Update run.sh

This commit is contained in:
2023-08-31 21:51:53 -05:00
parent 7b19ab2bcf
commit c472b2a0a6

2
run.sh
View File

@@ -11,7 +11,7 @@ source /opt/idssys/nodemgmt/defaults.inc
# if [[ "${noheader}" != *" ${1} "* ]] && [[ "${noheader}" != *" ${2} "* ]] && [ "${1}" != "status" ]; then
if [ "${1}" == "update" ]; then
if curl -m 5 -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then
if curl -m 10 -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