deploy: c660b71b9689af89bc09671e6a6de7f9943e2709

3 files changed, 28 insertions, 3 deletions

diff --git a/tools/bash.html b/tools/bash.html
index 91d44cb..c990d81 100644
--- a/tools/bash.html
+++ b/tools/bash.html
@@ -213,6 +213,11 @@ ${foo/pattern/string}  # replace pattern with string when expanding foo
 # '/'   replace all occurences of pattern
 # '#'   pattern match at beginning
 # '%'   pattern match at end
+
+# set programmatically with priintf builtin
+printf -v "VAR1" "abc"
+NAME=VAR2
+printf -v "$NAME" "%s" "def"
 </code></pre>
 <blockquote>
 <p>Note: <code>prefix</code>/<code>suffix</code>/<code>pattern</code> are expanded as <a href="#pathname">pathnames</a>.</p>
diff --git a/tools/gdb.html b/tools/gdb.html
index 80e38dd..d4f7f24 100644
--- a/tools/gdb.html
+++ b/tools/gdb.html
@@ -188,10 +188,14 @@
       --tty &lt;tty&gt;     set I/O tty for debugee
       --batch         run in batch mode, exit after processing options (eg used
                       for scripting)
+      --batch-silent  link --batch, but surpress gdb stdout
 </code></pre>
 <h1 id="interactive-usage"><a class="header" href="#interactive-usage">Interactive usage</a></h1>
 <h2 id="misc"><a class="header" href="#misc">Misc</a></h2>
-<pre><code class="language-markdown">  tty &lt;tty&gt;
+<pre><code class="language-markdown">  apropos &lt;regex&gt;
+          Search commands matching regex.
+
+  tty &lt;tty&gt;
           Set &lt;tty&gt; as tty for debugee.
           Make sure nobody reads from target tty, easiest is to spawn a shell
           and run following in target tty:
@@ -210,6 +214,9 @@
 
   info display
           List display expressions.
+
+  info sharedlibrary [&lt;regex&gt;]
+          List shared libraries loaded. Optionally use &lt;regex&gt; to filter.
 </code></pre>
 <h2 id="breakpoints"><a class="header" href="#breakpoints">Breakpoints</a></h2>
 <pre><code class="language-markdown">  break [-qualified] &lt;sym&gt; thread &lt;tnum&gt;
@@ -341,6 +348,12 @@ thread name &lt;name&gt;
   inferior &lt;id&gt;
           Switch to inferior with &lt;id&gt;.
 </code></pre>
+<h2 id="scheduling"><a class="header" href="#scheduling">Scheduling</a></h2>
+<pre><code class="language-markdown">  set schedule-multiple &lt;on | off&gt;
+          on: Resume all threads of all processes (inferiors) when continuing
+              or stepping.
+          off: (default) Resume only threads of current process (inferior).
+</code></pre>
 <h2 id="shell-commands"><a class="header" href="#shell-commands">Shell commands</a></h2>
 <pre><code class="language-markdown">  shell &lt;shell_cmd&gt;
           Run the shell_cmd and print the output, can also contain a pipeline.
@@ -386,13 +399,19 @@ thread name &lt;name&gt;
   set logging file &lt;fname&gt;
           Change output log file to &lt;fname&gt;
 
-  set logging redirect &lt;on/off&gt;
+  set logging redirect &lt;on | off&gt;
           on: only log to file.
           off: log to file and tty.
 
-  set logging overwrite &lt;on/off&gt;
+  set logging overwrite &lt;on | off&gt;
           on: Truncate log file on each run.
           off: Append to logfile (default).
+
+  set history filename &lt;fname&gt;
+          Change file where to save and restore command history to and from.
+
+  set history &lt;on | off&gt;
+          Enable or disable saving of command history.
 </code></pre>
 <blockquote>
 <p>Logging options should be configured before logging is turned on.</p>
diff --git a/tools/git.html b/tools/git.html
index 2d64c24..68ee78f 100644
--- a/tools/git.html
+++ b/tools/git.html
@@ -294,6 +294,7 @@ the same repository (shared .git folder).</p>
 <pre><code class="language-markdown">  git diff &lt;commit&gt;..&lt;commit&gt; [&lt;file&gt;] .... show changes between two arbitrary
                                             commits. If one &lt;commit&gt; is omitted
                                             it is if HEAD is specified.
+  git diff --name-only &lt;commit&gt;..&lt;commit&gt; . show names of files changed
   git diff -U$(wc -l &lt;file&gt;) &lt;file&gt; ....... shows complete file with diffs
                                             instead of usual diff snippets
   git diff --staged ....................... show diffs of staged files