From fba4a7c40abd6dcc5b18c00e539d604dcc950707 Mon Sep 17 00:00:00 2001 From: Darren 'Tadgy' Austin Date: Thu, 12 Oct 2023 20:30:36 +0100 Subject: [PATCH] For git prompt, allow repos to disable prefetch. --- .bashrc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.bashrc b/.bashrc index adfd6ab..4628619 100644 --- a/.bashrc +++ b/.bashrc @@ -15,6 +15,8 @@ __prompt_git_status() { # << or /dev/null 2>&1 && { - git maintenance run --task=prefetch 2>/dev/null || printf "\\033[1;31m%s\\033[39m\\n" "Git maintenance 'prefetch' task failed." >&2 - } + [[ -n "$GIT_PROMPT_AUTO_PREFETCH" ]] && [[ "$PWD" == "${GIT_REPO_INFO[0]}" ]] && \ + [[ "$(git config --get --bool maintenance.promptprefetchdisabled 2>/dev/null)" != "true" ]] && { + git maintenance run --task=prefetch 2>/dev/null || printf "\\033[1;31m%s\\033[39m\\n" "Git maintenance 'prefetch' task failed." >&2 } COUNT="$(git rev-list --count --left-right "${BRANCH:+refs/prefetch/remotes/origin/}${BRANCH:-@{upstream\}}...HEAD" 2>/dev/null | tr '[:blank:]' ' ')" case "$COUNT" in