> Imho, lilypond could be smart about it and choose the number of
> leading 0's according to need.
> for instance
> 01,02,...09,10,11
> in case of 11 pages, instead of
> 1,2,...,9,10,11 (as it is right now) which may result in non-canonic
> ordering of files.
> This is the solution that I would advacate for.
I think this is too smart. Just imagine that you have 99 images
embedded in a web page. Now add a single image, rerun lilypond, and
suddenly you have to correct all image names to add another leading
zero.
> The disadvantages of templates such as "<name>-page%02d" are
> 1) coding overhead
> 2) documentation overhead
> 3) the user needs to figure out a 'complicated' script
Actually, the normal user shouldn't be bothered at all with that
template! I favor that the default is either `<name>-page%d' or
`<name>-page-%d' to accomodate an arbitrary number of images. Whoever
is going to modify that has certainly enough knowledge to fiddle with
the necessary coding.
Werner
_______________________________________________
bug-lilypond mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-lilypond
