Re: In the bash man page the entry for the 'read' command has two spaces after it instead of one.

From	Bob Proulx <bob@proulx.com>
Newsgroups	gnu.bash.bug
Subject	Re: In the bash man page the entry for the 'read' command has two spaces after it instead of one.
Date	2015-08-21 23:49 -0600
Message-ID	<mailman.53.1440222568.11330.bug-bash@gnu.org> (permalink)
References	<CAFHfY1YH0S+h+DL241gcmUAQeZOFrAf_OTFwjvMs6r9_dLiJyw@mail.gmail.com> <874mjsyc1e.fsf@igel.home> <1440182059.2430.18.camel@16bits.net> <87d1ygv67h.fsf@igel.home>

Show all headers | View raw

Andreas Schwab wrote:
> Ángel González writes:
> > entering  «/^ *read⤶» may be easier to type (and remember)
> 
> It won't match, though.

It matches fine for me.  Although I suggest adding the square bracket
so as to avoid the other false positives as long as one knows that
read has options documented.  This works.

  /^  *read  *\[

Bob

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Re: In the bash man page the entry for the 'read' command has two spaces after it instead of one. Bob Proulx <bob@proulx.com> - 2015-08-21 23:49 -0600

csiph-web