Monday, January 29, 2018

Re: UPDATE: ripgrep-0.7.1

On Sun, 28 Jan 2018 16:54:10 +0100, Klemens Nanni <kl3@posteo.org>
wrote:

> On Sun, Jan 28, 2018 at 04:05:46PM +0100, Klemens Nanni wrote:
> > On Sun, Jan 28, 2018 at 05:15:51PM +0800, Ray Lai wrote:
> > > Fixes "too many open file descriptors in ripgrep 0.7.0":
> > > https://github.com/BurntSushi/ripgrep/issues/648
> > Thanks for beating me to it!
> >
> > 0.71 indeed fixes the issue on my amd64 machine where the following
> > command for example would result in above mentioned failure:
> >
> > $ rg -F FIX_EXTRACT /usr/ports
> >
> > Looks good to me, all tests pass:
> >
> > test result: ok. 142 passed; 0 failed; 0 ignored; 0
> > measured; 0 filtered out
> >
> > Any takers?
> Updated diff with INSTALL_DATA_DIR instead of `mkdir -p' in
> post-install.

Thanks committed!

No comments:

Post a Comment