On 22.04.2009 14:46, Mike Holden wrote:

> We specifically reported on how Windows treats 00file.txt and 000file.txt,
> and that it always treats more leading zeroes as "less", so 000file.txt
> always sorts before 00file.txt, and decided that we should probably follow
> that convention, as other file browsers do the same on Linux (as does a
> ksh shell on the Solaris box in front of me, for yet another data point).

But that would be in line with the agreement that "000file" and "00file"
are equal with respect to natural sort. In that case "usual" sort
(strcmp or strcasecmp?) is used as the arbiter which would then treat
"000file" as "less."

I'm not stating anything about the consensus, I just want to say that
"000file < 00file" does not contradict to what kugel said (or wrote).
Received on 2009-04-22