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 <email@example.com> - 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)