diff options
| author | johannst <johannst@users.noreply.github.com> | 2022-07-07 20:23:13 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2022-07-07 20:23:13 +0000 |
| commit | 88bc7f1209668aa64b2f110121f6f4a2506b9d0c (patch) | |
| tree | 3d66d70431a882799d5abc956448ed9fd4169b23 /tools | |
| parent | da7708c904cc1bfa7bafc8a4bd5742cae0cecb03 (diff) | |
| download | notes-88bc7f1209668aa64b2f110121f6f4a2506b9d0c.tar.gz notes-88bc7f1209668aa64b2f110121f6f4a2506b9d0c.zip | |
deploy: 8018375d79d74f2911c335337722a719cf87c72e
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/bash.html | 7 | ||||
| -rw-r--r-- | tools/dot.html | 3 |
2 files changed, 8 insertions, 2 deletions
diff --git a/tools/bash.html b/tools/bash.html index 72598e3..b8d9c92 100644 --- a/tools/bash.html +++ b/tools/bash.html @@ -204,7 +204,7 @@ ${foo/pattern/string} # replace pattern with string when expanding foo alnum,alpha,ascii,blank,cntrl,digit,graph,lower, print,punct,space,upper,word,xdigit </code></pre> -<p>Wit <code>extglob</code> shell option enabled it is possible to have more powerful +<p>With <code>extglob</code> shell option enabled it is possible to have more powerful patterns. In the following <code>pattern-list</code> is one ore more patterns separated by <code>|</code> char.</p> <pre><code class="language-bash">?(pattern-list) matches zero or one occurrence of the given patterns @@ -229,6 +229,11 @@ command &>file # stderr to stdout & stdout to file command 2>&1 >file </code></pre> +<blockquote> +<p>The article <a href="https://catonmat.net/bash-one-liners-explained-part-three">Bash One-Liners Explained, Part III: All about +redirections</a> +contains some nice visualization to explain bash redirections.</p> +</blockquote> <h3><a class="header" href="#explanation" id="explanation">Explanation</a></h3> <pre><code class="language-bash">j>&i </code></pre> diff --git a/tools/dot.html b/tools/dot.html index 05f652d..b3164d9 100644 --- a/tools/dot.html +++ b/tools/dot.html @@ -153,7 +153,8 @@ <div id="content" class="content"> <main> <h1><a class="header" href="#dot1" id="dot1">dot(1)</a></h1> -<p>Example <code>dot</code> file to copy & paste from.</p> +<p><a href="https://edotor.net/">Online playground</a></p> +<h2><a class="header" href="#example-dot-file-to-copy--paste-from" id="example-dot-file-to-copy--paste-from">Example <code>dot</code> file to copy & paste from.</a></h2> <p>Can be rendered to <code>svg</code> with the following command.</p> <pre><code class="language-bash">dot -T svg -o g.svg g.dot </code></pre> |