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

From	Ángel González <angel@16bits.net>
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-22 15:49 +0200
Message-ID	<mailman.70.1440251401.11330.bug-bash@gnu.org> (permalink)
References	(1 earlier) <874mjsyc1e.fsf@igel.home> <1440182059.2430.18.camel@16bits.net> <87d1ygv67h.fsf@igel.home> <20150821234352407165686@bob.proulx.com> <87zj1jfulw.fsf@igel.home>

Show all headers | View raw

Andreas Schwab wrote:
> Bob Proulx <bob@proulx.com> writes:
> 
> > 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.
> 
> How?  There is no ⤶ in the output.
> 
> Andreas.

I was trying to show that you would need to press 9 keys,* and thus was
easier to type. The ⤶ character was intended to mean you press the
enter key. I didn't thought it would cause confusion ☹

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. Ángel González <angel@16bits.net> - 2015-08-22 15:49 +0200

csiph-web