Fabian IsingandFabian Ising
81deaa75a4
Keep the server entrypoint focused on server policy while moving update checks, Antidote loading, interactive defaults, and prompt sourcing into reusable modules.
62 lines
3.0 KiB
Bash
62 lines
3.0 KiB
Bash
# Background repository maintenance shared by desktop and server shells.
|
|
|
|
update_dotfiles() {
|
|
local repo="$HOME/dotfiles"
|
|
local cache_dir="${ZDOTDIR:-$HOME}/.cache/zsh"
|
|
local notice_file="$cache_dir/dotfiles-update-notice"
|
|
local notice_tmp="$notice_file.$$.tmp"
|
|
local -a TO; (( $+commands[timeout] )) && TO=(timeout -k 5 15)
|
|
GIT_SSH_COMMAND='ssh -o BatchMode=yes -o ConnectTimeout=5 -o ControlMaster=no -o ControlPath=none' \
|
|
$TO git -C "$repo" fetch --quiet </dev/null 2>/dev/null || return
|
|
git -C "$repo" rev-parse --abbrev-ref '@{u}' >/dev/null 2>&1 || return
|
|
git -C "$repo" merge-base --is-ancestor '@{u}' HEAD 2>/dev/null && return
|
|
git -C "$repo" merge --ff-only --quiet '@{u}' 2>/dev/null && return
|
|
local notice="⚠ dotfiles: $(git -C "$repo" symbolic-ref --short HEAD) can't fast-forward to @{u} — run: git -C ~/dotfiles pull"
|
|
mkdir -p "$cache_dir" || return
|
|
print -r -- "$notice" >| "$notice_tmp" || return
|
|
mv -f "$notice_tmp" "$notice_file"
|
|
}
|
|
update_dotfiles &!
|
|
|
|
check_tools_repo() {
|
|
local repo branch remote mergeref remote_sha local_sha cmd notice
|
|
local cache_dir="${ZDOTDIR:-$HOME}/.cache/zsh"
|
|
local notice_file="$cache_dir/tools-update-notice"
|
|
local notice_tmp="$notice_file.$$.tmp"
|
|
local -a TO; (( $+commands[timeout] )) && TO=(timeout -k 5 10)
|
|
for repo in /opt/tools "$HOME/tools" "$HOME/tools/tools-repo"; do
|
|
local -a g=(git -c 'safe.directory=*' -C "$repo")
|
|
$g rev-parse --is-inside-work-tree >/dev/null 2>&1 || continue
|
|
branch=$($g symbolic-ref --short HEAD 2>/dev/null) || return
|
|
remote=$($g config "branch.$branch.remote" 2>/dev/null) || return
|
|
mergeref=$($g config "branch.$branch.merge" 2>/dev/null) || return
|
|
remote_sha=$(GIT_SSH_COMMAND='ssh -o BatchMode=yes -o ConnectTimeout=5 -o ControlMaster=no -o ControlPath=none' \
|
|
$TO $g ls-remote "$remote" "$mergeref" </dev/null 2>/dev/null | awk '{print $1}')
|
|
local_sha=$($g rev-parse HEAD 2>/dev/null)
|
|
[[ -n "$remote_sha" && -n "$local_sha" ]] || return
|
|
[[ "$remote_sha" == "$local_sha" ]] && return
|
|
$g merge-base --is-ancestor "$remote_sha" HEAD 2>/dev/null && return
|
|
[[ -w "$repo/.git" ]] && cmd="git -C $repo pull" || cmd="sudo git -C $repo pull"
|
|
notice="⬆ tools: updates available in $repo — run: $cmd"
|
|
mkdir -p "$cache_dir" || return
|
|
print -r -- "$notice" >| "$notice_tmp" || return
|
|
mv -f "$notice_tmp" "$notice_file"
|
|
return
|
|
done
|
|
}
|
|
check_tools_repo &!
|
|
|
|
show_update_notices() {
|
|
local cache_dir="${ZDOTDIR:-$HOME}/.cache/zsh"
|
|
local notice_file claimed_notice
|
|
for notice_file in "$cache_dir"/{dotfiles,tools}-update-notice; do
|
|
[[ -s "$notice_file" ]] || continue
|
|
claimed_notice="$notice_file.$$.show"
|
|
mv "$notice_file" "$claimed_notice" 2>/dev/null || continue
|
|
command cat "$claimed_notice"
|
|
command rm -f "$claimed_notice"
|
|
done
|
|
}
|
|
autoload -Uz add-zsh-hook
|
|
add-zsh-hook precmd show_update_notices
|