From a1e0eed861cf18b043107f50823a9a498347d89f Mon Sep 17 00:00:00 2001 From: Tanaka Akira Date: Tue, 8 Feb 2000 11:02:23 +0000 Subject: zsh-workers/9617 --- Doc/Zsh/options.yo | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'Doc/Zsh/options.yo') diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index f16d36cd3..536853ad4 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -533,6 +533,13 @@ of tt(exit) or tt(logout) instead. However, ten consecutive EOFs will cause the shell to exit anyway, to avoid the shell hanging if its tty goes away. ) +pindex(IGNORE_NULLCMD) +vindex(NULLCMD, ignoring) +vindex(READNULLCMD, ignoring) +item(tt(IGNORE_NULLCMD) )( +The values of tt(NULLCMD) and tt(READNULLCMD) are not used when running +redirections with no commands (see noderef(Redirection)). +) pindex(INC_APPEND_HISTORY) cindex(history, incremental appending to a file) item(tt(INC_APPEND_HISTORY))( @@ -978,6 +985,14 @@ running - that is purely an indicator of whether on not commands are em(actually) being read from standard input. The value of this option cannot be changed anywhere other than the command line. ) +pindex(SH_NULLCMD) +cindex(sh, redirections with no command) +cindex(ksh, redirections with no command) +item(tt(SH_NULLCMD) )( +If the variable tt(NULLCMD) is unset or if the option tt(IGNORE_NULLCMD) +is set, this option make redirections with no command have the +standard Bourn shell behaviour (see noderef(Redirection)). +) pindex(SH_OPTION_LETTERS) cindex(sh, single letter options style) cindex(ksh, single letter options style) -- cgit 1.4.1