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 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'docs/shell/commands.rhtml')

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>
-- 
cgit v1.2.3