Re: Is the description of set -- missing in man bash or at least difficult to find?

[Peng Yu]

> Second, just search for the 'set' builtin, near the bottom of the man page.

Thank for clarifying the usage of set.

I looked closely to the document of set. I just find another problem,
it says the following. However, the description of -- way down below.
It should be the option be described. A rule of thumb is that the
order of the description of the options should be the same as the
order in the following line.

 set [--abefhkmnptuvxBCEHPT] [-o option-name] [arg ...]

But my main point is if a person only knows the keyword $@, he will
not be able to find how to set it in the manual. The description of
'set --' should also be added to the description of $@ to explain how
to set $@.

Also, "If no arguments follow this option, then the positional
parameters are unset.  Otherwise, the positional parameters are set to
the args, even if some of them begin with a -."
should be rewritten as
"If no arguments follow this option, then the positional parameters $@
are unset.  Otherwise, the positional parameters $@ are set to the
args, even if some of them begin with a -."
so that $@ is searchable.

-- 
Regards,
Peng