From 78869e86cdae2f237352ef01f7f66ed8e8f9b75f Mon Sep 17 00:00:00 2001
From: Alessandro Iezzi <aiezzi@alessandroiezzi.it>
Date: Mon, 31 Oct 2022 15:36:11 +0100
Subject: Add grep command into notes' section

---
 docs/shell/commands.rhtml    | 3 ++-
 docs/shell/grep.rhtml        | 7 +++++++
 docs/shell/grep.rhtml.config | 4 ++++
 3 files changed, 13 insertions(+), 1 deletion(-)
 create mode 100644 docs/shell/grep.rhtml
 create mode 100644 docs/shell/grep.rhtml.config

diff --git a/docs/shell/commands.rhtml b/docs/shell/commands.rhtml
index 3a029d2..d2922da 100644
--- a/docs/shell/commands.rhtml
+++ b/docs/shell/commands.rhtml
@@ -1,4 +1,5 @@
 <h1>Elenco dei comandi della shell</h1>
 <ul>
+  <li><a href="/docs/shell/grep.html">grep</a></li>
   <li><a href="/docs/shell/jq.html">jq</a></li>
-</ul>
\ No newline at end of file
+</ul>
diff --git a/docs/shell/grep.rhtml b/docs/shell/grep.rhtml
new file mode 100644
index 0000000..1863e23
--- /dev/null
+++ b/docs/shell/grep.rhtml
@@ -0,0 +1,7 @@
+<h1>Shell</h1>
+<h2>grep</h2>
+<h3>Usare i codici escape</h3>
+<p>Basta mettere il simbolo dollaro prima della stringa da ricercare:</p>
+<pre class="bordered">
+grep $'\t' sample.txt
+</pre>
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