diff options
| author | 0scar <qgt268@alumni.ku.dk> | 2023-03-22 11:04:20 +0000 |
|---|---|---|
| committer | 0scar <qgt268@alumni.ku.dk> | 2023-03-22 11:04:20 +0000 |
| commit | f5ec22bd5895f55112743b41beb38c4b60c52512 (patch) | |
| tree | cf8dc338e2be1d3be1fa70f45727e868030593fa | |
| parent | bba6ac36b604eaaef5ae506554708144dddfea40 (diff) | |
Fix tab indentation
| -rw-r--r-- | .config/git/config | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.config/git/config b/.config/git/config index 44a9977..be4637f 100644 --- a/.config/git/config +++ b/.config/git/config @@ -18,9 +18,10 @@ prompt = false [mergetool] vimdiff = true - prompt = false + prompt = false [alias] d = difftool + total = !echo $(git log --author=\"$(git config user.name)\" --no-merges --before=$(date \"+%Y-%m-%dT00:00\") --reverse | grep commit | wc -l) commits, $(git log --author=\"$(git config user.name)\" --no-merges --before=$(date \"+%Y-%m-%dT00:00\") --reverse --stat | grep -Eo \"[0-9]{1,} files? changed\" | grep -Eo \"[0-9]{1,}\" | awk \"{ sum += \\$1 } END { print sum }\") files changed, $(git log --author=\"$(git config user.name)\" --no-merges --before=$(date \"+%Y-%m-%dT00:00\") --reverse --stat | grep -Eo \"[0-9]{1,} insertions?\" | grep -Eo \"[0-9]{1,}\" | awk \"{ sum += \\$1 } END { print sum }\") insertions and $(git log --author=\"$(git config user.name)\" --no-merges --before=$(date \"+%Y-%m-01T00:00\") --reverse --stat | grep -Eo \"[0-9]{1,} deletions?\" | grep -Eo \"[0-9]{1,}\" | awk \"{ sum += \\$1 } END { print sum }\") deletions [merge] tool = vimdiff conflictstyle = diff3 |