Update run.sh

This commit is contained in:
2023-05-15 20:39:15 -05:00
parent 69230f1082
commit 7a2202e9f3

2
run.sh
View File

@@ -5,7 +5,7 @@ source /opt/idssys/defaults/default.inc
source /opt/idssys/pibackup/settings.inc source /opt/idssys/pibackup/settings.inc
if [[ "${noheader}" != *" ${1} "* ]] && [[ "${noheader}" != *" ${2} "* ]]; then if [[ "${noheader}" != *" ${1} "* ]] && [[ "${noheader}" != *" ${2} "* ]]; then
if curl -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 if [ "${2}" != "q" ]; then
echo -en "${idsCL[LightCyan]}Checking for updates...${idsCL[Default]}" echo -en "${idsCL[LightCyan]}Checking for updates...${idsCL[Default]}"
echo "" echo ""