diff options
author | Mike Gerwitz <mtg@gnu.org> | 2017-02-28 22:41:39 -0500 |
---|---|---|
committer | Mike Gerwitz <mtg@gnu.org> | 2017-02-28 22:42:44 -0500 |
commit | b7a128f20b9582df10bf0c8d1dafa1bccb2e04ce (patch) | |
tree | d2b835ccfcaa5a996362a4268e155e238a357c2f /docs | |
parent | 034e4e2f5f94b18d01d33838c950d64d185aa064 (diff) | |
download | thoughts-b7a128f20b9582df10bf0c8d1dafa1bccb2e04ce.tar.gz thoughts-b7a128f20b9582df10bf0c8d1dafa1bccb2e04ce.tar.bz2 thoughts-b7a128f20b9582df10bf0c8d1dafa1bccb2e04ce.zip |
:git-horror-story.txt: s/carrot/caret/g
Five years this typo has existed!
Thanks to Maxim Cournoyer <maxim.cournoyer@gmail.com> for pointing this out
to me.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/papers/git-horror-story.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/papers/git-horror-story.txt b/docs/papers/git-horror-story.txt index 6baca54..3494186 100644 --- a/docs/papers/git-horror-story.txt +++ b/docs/papers/git-horror-story.txt @@ -1122,13 +1122,13 @@ Here, we find that if we filter out those lines ending in ``G'' as we did before, we would be left with the untrusted commits in addition to the commits that are bad (``B'') or unsigned (blank), as indicated by +%G?+. To accomplish this, we first add the GPG output to the log with the `--show-signature` option -and, to make filtering easier, prefix all commit lines with a carrot (^) which -we will later strip. We then filter all lines but those beginning with a carrot, +and, to make filtering easier, prefix all commit lines with a caret (^) which +we will later strip. We then filter all lines but those beginning with a caret, or lines that contain the string ``not certified'', which is part of the GPG output. This results in lines of commits with a single +``gpg:''+ line before them if they are untrusted. We can then pipe this to awk, which will remove all +``gpg:''+-prefixed lines and append +``U''+ to the next line (the commit line). -Finally, we strip off the leading carrot that was added during the beginning of +Finally, we strip off the leading caret that was added during the beginning of this process to produce the final output. Please keep in mind that there is a huge difference between the conventional use |