From 7484bb731106d90a93207f56b974de57d5f25d17 Mon Sep 17 00:00:00 2001 From: marchersimon <50295997+marchersimon@users.noreply.github.com> Date: Sat, 30 Jul 2022 09:39:19 +0200 Subject: [PATCH] ripgrep: add page (#8265) --- pages/common/ripgrep.md | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 pages/common/ripgrep.md diff --git a/pages/common/ripgrep.md b/pages/common/ripgrep.md new file mode 100644 index 000000000..ff9fe441e --- /dev/null +++ b/pages/common/ripgrep.md @@ -0,0 +1,7 @@ +# ripgrep + +> `ripgrep` is the common name for the command `rg`. + +- View documentation for the actual command: + +`tldr rg`