From 78869e86cdae2f237352ef01f7f66ed8e8f9b75f Mon Sep 17 00:00:00 2001 From: Alessandro Iezzi Date: Mon, 31 Oct 2022 15:36:11 +0100 Subject: Add grep command into notes' section --- docs/shell/grep.rhtml.config | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 docs/shell/grep.rhtml.config (limited to 'docs/shell/grep.rhtml.config') diff --git a/docs/shell/grep.rhtml.config b/docs/shell/grep.rhtml.config new file mode 100644 index 0000000..8b44c53 --- /dev/null +++ b/docs/shell/grep.rhtml.config @@ -0,0 +1,4 @@ +title: "Shell [grep]" +category: notes +pageNames: [shell, shell-commands, grep] +master: [docs/shell/shell.tmpl, master.rhtml] -- cgit v1.2.3