Re: An appropriate directory search tool?
- Date: Fri, 19 Oct 2018 11:29:13 -0400
- From: Greg Wooledge <wooledg@xxxxxxxxxxx>
- Subject: 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>.