On Thu, Nov 29, 2018 at 3:19 AM Hong Xu <[email protected]> wrote: > This is simply consistent with other major glob systems in shells, just > a rule that has already prevailed. Try `echo {3..120}` in bash, and you > won't see 060 in the list :) > Ah... I see! https://www.gnu.org/software/bash/manual/html_node/Brace-Expansion.html Numbers are treated as numbers, yet the final comparison is done via strings. "Brace expansion is performed before any other expansions, and any characters special to other expansions are preserved in the result. It is strictly textual."
Plus, zeros in the set have a special meaning: "When either x or y begins with a zero, the shell attempts to force all generated terms to contain the same number of digits, zero-padding where necessary" thanks, Dmitry -- You received this message because you are subscribed to the Google Groups "EditorConfig" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/editorconfig. For more options, visit https://groups.google.com/d/optout.
