rust/ripgrep
1
0
Fork 0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2024-12-02 02:56:32 +02:00
Code Issues Releases Activity

doc: fix typos

Browse Source
This commit is contained in:
Andrew Gallant 2018-02-21 15:59:12 -05:00
parent 7098daf6a8
commit cbebb010a7
No known key found for this signature in database
GPG Key ID: B2E3A4923F8B0D44
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
FAQ.md
View File

@ -553,13 +553,14 @@ do with it.
I spent a couple of days trying to think of very short words that began with
the letter `r` that were even somewhat related to the task of searching. I
don't remember how it popped into my head, but "rip" came up as something that
meant "fast," as in, "to rip through your text." The fact that RIP is also an
initialism for "Rest in Peace" (as in, "ripgrep kills grep") never really
dawned on me. Perhaps the coincidence is too striking, but I didn't realize it
until someone explicitly pointed it out to me after the initial public realize.
I admit that I found it mildly amusing, but if I had realized it myself before
the public release, I probably would have pressed on and chose a different
name. Alas, renaming things after a release is hard, so I decided to mush on.
meant "fast," as in, "to rip through your text." The fact that RIP is also
an initialism for "Rest in Peace" (as in, "ripgrep kills grep") never really
dawned on me. Perhaps the coincidence is too striking to believe that, but
I didn't realize it until someone explicitly pointed it out to me after the
initial public release. I admit that I found it mildly amusing, but if I had
realized it myself before the public release, I probably would have pressed on
and chose a different name. Alas, renaming things after a release is hard, so I
decided to mush on.
Given the fact that
[ripgrep never was, is or will be a 100% drop-in replacement for