diff options
| author |   Alessandro Iezzi <aiezzi@alessandroiezzi.it> | 2022-10-31 15:36:11 +0100 |
|---|---|---|
| committer | Alessandro Iezzi <aiezzi@alessandroiezzi.it> | 2022-10-31 15:36:11 +0100 |
| commit | 78869e86cdae2f237352ef01f7f66ed8e8f9b75f (patch) | |
| tree | 2d4dfa6b26e121bab4aa157ebe1d912e310ff66a /docs/shell/commands.rhtml | |
| parent | b6e4043565313f0b6ca396180c66d6194ae6c010 (diff) | |
| download | website-78869e86cdae2f237352ef01f7f66ed8e8f9b75f.tar.gz website-78869e86cdae2f237352ef01f7f66ed8e8f9b75f.zip | |
Add grep command into notes' section
Diffstat (limited to 'docs/shell/commands.rhtml')
| -rw-r--r-- | docs/shell/commands.rhtml | 3 |
1 files changed, 2 insertions, 1 deletions
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> |