diff options
author | JuanPablo <jpabloaj@gmail.com> | 2011-06-26 20:12:10 -0400 |
---|---|---|
committer | Leonid Volnitsky <Leonid@Volnitsky.com> | 2011-07-01 09:19:37 +0300 |
commit | 69ee6831250751192a8fa75f7b7fc2773c7acd27 (patch) | |
tree | 0e2ea4e743380364ffa44f526767e2d13333b841 | |
parent | unset remotes;changed position (diff) | |
download | git-prompt-69ee6831250751192a8fa75f7b7fc2773c7acd27.tar.gz git-prompt-69ee6831250751192a8fa75f7b7fc2773c7acd27.tar.bz2 git-prompt-69ee6831250751192a8fa75f7b7fc2773c7acd27.zip |
fixed bad route to .git
-rwxr-xr-x | git-prompt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-prompt.sh b/git-prompt.sh index 2832729..781c62e 100755 --- a/git-prompt.sh +++ b/git-prompt.sh @@ -515,7 +515,7 @@ parse_git_status() { if [[ ! -e $git_dir/FETCH_HEAD ]]; then git fetch $remote >& /dev/null & else - fetchDate=$(date --utc --reference=.git/FETCH_HEAD +%s) + fetchDate=$(date --utc --reference=$git_dir/FETCH_HEAD +%s) now=$(date --utc +%s) delta=$(( $now - $fetchDate )) # if last update to .git/FETCH_HEAD file |