[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: the correct way to read a big directory? Mutt?

On 2015-04-28 15:20:19 +0200, Jörg-Volker Peetz wrote:
> Maybe my wording is unclear. I haven't had a look how "grep -r"
> traverses the directory contents. I thought it would search the
> files in a sequence according to some lexicographical order of
> their names.

No, strace output shows that "grep -r" uses directory order (well,
at least GNU grep 2.20, package grep 2.20-4.1, which is the version
in stable and unstable). See my test in the first message of this

Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Reply to: