On Sat, Oct 28, 2023 at 11:15:11AM -0500, G. Branden Robinson wrote:
> Hi Alex,
> 
> At 2023-10-28T17:55:50+0200, Alejandro Colomar wrote:
> > On Sat, Oct 28, 2023 at 07:27:49AM -0500, G. Branden Robinson wrote:
> > > At 2023-10-24T12:31:04+0200, Alejandro Colomar wrote:
> > > > In less(1) I use similar heuristics to find what I want:
> > > > '/    --unused' will get me exactly where I expect.
> > > 
> > > You might want to adapt this habit to '/ +--unused'.
> > 
> > In fact I don't want.  A single space would trigger false positives in
> > the middle of the text.  I use at least 3, sometimes more (depending
> > on how much I feel like pressing the space bar), to get a single
> > positive at the tag.
> 
> You could do what I do.
> 
> '/^ +-'

  '/   -' seems lazier to me.  :)

> 
> Still cheaper/lazier.
> 
> Maybe I've been burned too many times by people getting space quantities
> wrong in other contexts.
> 
> > I'm already using groff from git, so I'm already adapted to that.  :)
> 
> Ah, excellent.  As Thomas Dickey always says, "(report bugs)".
> 
> Regards,
> Branden



-- 
<https://www.alejandro-colomar.es/>

Attachment: signature.asc
Description: PGP signature

Reply via email to