summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/trap.html6
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/trap.html b/doc/trap.html
index fafd5c7..fec5501 100644
--- a/doc/trap.html
+++ b/doc/trap.html
@@ -83,11 +83,13 @@ this option does nothing. </li>
<ul>
<li> Programs defined in command line directives can start with
-<tt><a href="importas.html">importas</a> ! !</tt> to retrieve the pid of
+<code><a href="importas.html">importas</a> ! !</code> to retrieve the pid of
<em>prog</em> in <tt>$!</tt>. If they need the signal number, which
can be the case in <tt>default</tt> directives, they can for instance use
-<tt><a href="multisubstitute.html">multisubstitute</a> { importas ! ! importas SIGNAL SIGNAL }</tt>
+<code><a href="multisubstitute.html">multisubstitute</a> { importas ! ! importas SIGNAL SIGNAL }<code>
to get both <tt>$!</tt> and <tt>$SIGNAL</tt> substitutions. </li>
+ <li> The <tt>-x</tt> option is basically a shortcut for a <code>default {
+multisusbstitute { importas ! ! importas SIGNAL SIGNAL } kill -$SIGNAL $! }</code> directive. </li>
<li> <tt>trap</tt> is a standard shell builtin, with similar
functionality. It is more idiomatic, and probably more efficient,
to use that builtin in shell scripts, and to only use the