diff options
Diffstat (limited to 'docs/shell/grep.rhtml')
| -rw-r--r-- | docs/shell/grep.rhtml | 7 |
1 files changed, 7 insertions, 0 deletions
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> |