From aabe785a423bed406f53c55db8afda3e0134cb45 Mon Sep 17 00:00:00 2001
From: Alessandro Iezzi <aiezzi@alessandroiezzi.it>
Date: Mon, 31 Oct 2022 15:37:37 +0100
Subject: Add grep link

---
 docs/shell/shell.tmpl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/shell/shell.tmpl b/docs/shell/shell.tmpl
index d65f0bc..f8915a8 100644
--- a/docs/shell/shell.tmpl
+++ b/docs/shell/shell.tmpl
@@ -31,6 +31,7 @@
           </button>
           <div class="collapse show" id="commands-collapse">
             <ul class="btn-toggle-nav list-unstyled fw-normal pb-1 small">
+              <li><a href="/docs/shell/grep.html" class="link-dark rounded"><b>grep</b></a></li>
               <li><a href="/docs/shell/jq.html" class="link-dark rounded"><b>jq</b> - Command-line JSON processor</a></li>
             <li><a href="#" class="link-dark rounded">Updates</a></li>
             <li><a href="#" class="link-dark rounded">Reports</a></li>
-- 
cgit v1.2.3