* [PATCH] options.yo: DEBUG_BEFORE_CMD is set by default
@ 2015-11-09 12:39 Jun T.
0 siblings, 0 replies; only message in thread
From: Jun T. @ 2015-11-09 12:39 UTC (permalink / raw)
To: zsh-workers
Move <D> to the correct position.
diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo
index 60379ca..f377539 100644
--- a/Doc/Zsh/options.yo
+++ b/Doc/Zsh/options.yo
@@ -1568,13 +1568,13 @@ ifnzman(noderef(Arithmetic Evaluation))\
ifzman(the section ARITHMETIC EVALUATION in zmanref(zshmisc))
has an explicit list.
)
-pindex(DEBUG_BEFORE_CMD <D>)
-pindex(NO_DEBUG_BEFORE_CMD <D>)
-pindex(DEBUGBEFORECMD <D>)
-pindex(NODEBUGBEFORECMD <D>)
+pindex(DEBUG_BEFORE_CMD)
+pindex(NO_DEBUG_BEFORE_CMD)
+pindex(DEBUGBEFORECMD)
+pindex(NODEBUGBEFORECMD)
cindex(traps, DEBUG, before or after command)
cindex(DEBUG trap, before or after command)
-item(tt(DEBUG_BEFORE_CMD))(
+item(tt(DEBUG_BEFORE_CMD) <D>)(
Run the tt(DEBUG) trap before each command; otherwise it is run after
each command. Setting this option mimics the behaviour of ksh 93; with
the option unset the behaviour is that of ksh 88.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-11-09 12:40 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-11-09 12:39 [PATCH] options.yo: DEBUG_BEFORE_CMD is set by default Jun T.
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/zsh/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).