Re: bash -xv issue with stderr

[Christoph Zimmermann]

Thanks for pointing me in the right direction. When checking the info and man (bash.1) 
files on the devel branch of this repo, I can't find the reference you and other people 
pointed out wrt to the clarification I referred to earlier.

Perhaps you could point me in the right direction as apparently I'm missing 
something? Thanks!

On 04.11.24 16:03, Chet Ramey wrote:
> On 11/4/24 3:20 AM, Christoph Zimmermann wrote:
> > Hi Chat,
> >
> > As I can't seem to find this: You are referring to the 'devel' branch at https:// 
> > github.com/bminor/bash (files doc/bash.info and doc/bash.1)?
>
> What is that?
>
> I am referring to the bash git repository at
>
> http://git.savannah.gnu.org/cgit/bash.git/?h=devel

--
This email account is monitored seven days a week.

OpenPGP_0xE7EEC1C45FE2A7BB.asc
Description: OpenPGP public key

OpenPGP_signature.asc
Description: OpenPGP digital signature