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 thread. -- Vincent Lefèvre <[email protected]> - 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) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]

