Web lists-archives.com

Re: An appropriate directory search tool?

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, so I'd suggest to begin with
> little examples and return to the man page from time to time until you
> got the knack. Then it is worth it. Every bit.

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