ripgrep: add page (#8265)

pull/1/head
marchersimon 2022-07-30 09:39:19 +02:00 committed by GitHub
parent 1f610a952e
commit 7484bb7311
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions

7
pages/common/ripgrep.md Normal file
View File

@ -0,0 +1,7 @@
# ripgrep
> `ripgrep` is the common name for the command `rg`.
- View documentation for the actual command:
`tldr rg`