Re: UPDATE: ripgrep-0.7.1

2018-01-29 Thread Daniel Jakots
On Sun, 28 Jan 2018 16:54:10 +0100, Klemens Nanni 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/issue

Re: UPDATE: ripgrep-0.7.1

2018-01-28 Thread Klemens Nanni
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

Re: UPDATE: ripgrep-0.7.1

2018-01-28 Thread Klemens Nanni
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 i

UPDATE: ripgrep-0.7.1

2018-01-28 Thread Ray Lai
Fixes "too many open file descriptors in ripgrep 0.7.0": https://github.com/BurntSushi/ripgrep/issues/648 Index: Makefile === RCS file: /home/cvs/ports/textproc/ripgrep/Makefile,v retrieving revision 1.5 diff -u -p -r1.5 Makefile ---