stevo
/
.bash-git-prompt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #21 from bwestlin/master

Browse Source 
Fix for when spaces exists in repo path
master
Martin Gondermann 12 years ago
parent 0c88e9409d 1d874d50c5
commit 68d965913c
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      gitprompt.sh

2
gitprompt.sh
Unescape View File

@ -107,7 +107,7 @@ function setGitPrompt() {
local FETCH_HEAD="${repo}/.git/FETCH_HEAD" local FETCH_HEAD="${repo}/.git/FETCH_HEAD"
# Fech repo if local is stale for more than $GIT_FETCH_TIMEOUT minutes # Fech repo if local is stale for more than $GIT_FETCH_TIMEOUT minutes
if [[ ! -e "${FETCH_HEAD}" || -e `find ${FETCH_HEAD} -mmin +${GIT_PROMPT_FETCH_TIMEOUT}` ]] if [[ ! -e "${FETCH_HEAD}" || -e `find "${FETCH_HEAD}" -mmin +${GIT_PROMPT_FETCH_TIMEOUT}` ]]
then then
[[ -n $(git remote show) ]] && git fetch --quiet [[ -n $(git remote show) ]] && git fetch --quiet
fi fi

Write Preview
Loading…
Cancel
Save