cfg/bin/check_config
Knut Ahlers 6ea12aacd4
Improve output, do output every time
Signed-off-by: Knut Ahlers <knut@ahlers.me>
2018-02-11 01:31:56 +01:00

47 lines
1.1 KiB
Bash
Executable file

#!/bin/bash
set -euo pipefail
DEBUG=${DEBUG:-false}
FETCH_INTERVAL=${FETCH_INTERVAL:-3600}
REPOS=( public secret )
# Print debug messages if enabled by ${DEBUG}
function debug {
[[ "${DEBUG}" = "false" ]] && return
echo "$@" >&2
}
function join_by { local d=$1; shift; echo -n "$1"; shift; printf "%s" "${@/#/$d}"; }
# Wrap git to work with git-dir and work-tree being in other locations
function gwrap {
hub --git-dir=${HOME}/.cfg/${REPO} --work-tree=${HOME} $@
}
# Ensure we're connected to network before acting
if ! ( ping -q -c 1 8.8.8.8 >/dev/null ); then
debug "No network connection, not checking"
exit 0
fi
STAT_PARM="-c %Y"
[[ "$(uname -s)" = "Darwin" ]] && STAT_PARM="-f %m"
NEED_UPDATE=()
# Check repos for updates
for REPO in ${REPOS[@]}; do
if [ $(( $(date +%s) - $(stat ${STAT_PARM} .cfg/${REPO}/FETCH_HEAD) )) -gt ${FETCH_INTERVAL} ]; then
gwrap fetch -q
fi
LOCAL=$(gwrap rev-parse HEAD)
REMOTE=$(gwrap rev-parse FETCH_HEAD)
if ! [[ "${LOCAL}" = "${REMOTE}" ]]; then
NEED_UPDATE+=("'${REPO}'")
fi
done
if [ ${#NEED_UPDATE[@]} -gt 0 ]; then
echo "Config repo $(join_by ", " "${NEED_UPDATE[@]}") needs update"
fi