¡Hyperling.com 2.0! #16

Merged
me merged 75 commits from dev into main 2025-10-14 14:54:55 -07:00
Showing only changes of commit d55b13ecbf - Show all commits

View File

@@ -40,11 +40,13 @@ grep_status="$?"
log "Pull status is '$git_status', checking for changes is '$grep_status'." log "Pull status is '$git_status', checking for changes is '$grep_status'."
# Check whether the continuously running jobs have been updated.
echo "$output" | grep "main.js" echo "$output" | grep "main.js"
main_changed="$?" main_changed="$?"
echo "$output" | grep "run.sh" echo "$output" | grep "run.sh"
run_changed="$?" run_changed="$?"
# Determine where we've landed and whether we need to do anything.
if [[ $git_status != 0 ]]; then if [[ $git_status != 0 ]]; then
log "*** ERROR: Git reported a failure! ***" log "*** ERROR: Git reported a failure! ***"
exit 1 exit 1
@@ -59,4 +61,6 @@ else
log "*** WARNING: Unknown Situation ***" log "*** WARNING: Unknown Situation ***"
fi fi
## Success! ##
exit 0 exit 0