On 5/2/14, 6:15 AM, Дилян Палаузов wrote:
> set -o prints "interactive-comments", but its documentation is under shopt
> as interactive_comments.
It actually exists in both places due to historical reasons.
> Please rename in the documentation "interactive_comments" to
> "interactive-comments" a
Hello,
provided that the options printed by `shopt` are supposed to be in
alphabetical order, then tweak globstar to be displayed after
globasciiranges .
set -o prints "interactive-comments", but its documentation is under
shopt as interactive_comments.
Please rename in the documentation "
Hello,
as of bash 4.3, doc/bashref.texi, Node Installing Bash > Optional
Features contains
8021 All of the following options except for @samp{disabled-builtins},
8022 @samp{directpand-default}, and
8023 @samp{xpg-echo-default} are
8024 enabled by default, unless the operating system does not p
