Web lists-archives.com

Re: An appropriate directory search tool?




On Fri, Oct 19, 2018 at 11:29:13AM -0400, Greg Wooledge wrote:
> On Fri, Oct 19, 2018 at 05:21:30PM +0200, tomas@xxxxxxxxxx wrote:
> > This would be 'find' (ok, with some little help from 'grep'). Hands down.
> > 
> > The man page can be a bit... intimidating [...]

> There's also <https://mywiki.wooledge.org/UsingFind>.

Had a short look at it. Definitely recommended.

Cheers
-- t

Attachment: signature.asc
Description: Digital signature