diff options
author | Moshe Avni <moshe@avni.us> | 2021-09-06 18:56:39 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-06 17:56:39 +0200 |
commit | af271c9e387f9b536205a7f459802369cb26a7e0 (patch) | |
tree | d7b0b284e0943553f70a4759ac06400231ca0e08 | |
parent | ab8b9913cb6cba35da3126887d4c0b67f033fffa (diff) | |
download | zsh-af271c9e387f9b536205a7f459802369cb26a7e0.tar.gz zsh-af271c9e387f9b536205a7f459802369cb26a7e0.tar.bz2 zsh-af271c9e387f9b536205a7f459802369cb26a7e0.zip |
feat(git-auto-fetch): add date to git-auto-fetch log file (#10021)
-rw-r--r-- | plugins/git-auto-fetch/git-auto-fetch.plugin.zsh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/git-auto-fetch/git-auto-fetch.plugin.zsh b/plugins/git-auto-fetch/git-auto-fetch.plugin.zsh index dbc949621..efe8cbe66 100644 --- a/plugins/git-auto-fetch/git-auto-fetch.plugin.zsh +++ b/plugins/git-auto-fetch/git-auto-fetch.plugin.zsh @@ -25,8 +25,9 @@ function git-fetch-all { fi # Fetch all remotes (avoid ssh passphrase prompt) + date -R &>! "$gitdir/FETCH_LOG" GIT_SSH_COMMAND="command ssh -o BatchMode=yes" \ - command git fetch --all 2>/dev/null &>! "$gitdir/FETCH_LOG" + command git fetch --all 2>/dev/null &>> "$gitdir/FETCH_LOG" ) &| } |