diff options
-rw-r--r-- | docs/shell/commands.rhtml | 3 | ||||
-rw-r--r-- | docs/shell/grep.rhtml | 7 | ||||
-rw-r--r-- | docs/shell/grep.rhtml.config | 4 |
3 files changed, 13 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> 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] |