Re: filenames of png and svg not consistent

2014-02-10 Thread Werner LEMBERG
> Then maybe always use a 3-digit number 001 ... 999 As the default this is OK with me. However, I still prefer a command line option that can provide a template for image names. Werner ___ bug-lilypond mailing list bug-lilypond@gnu.org https://

Re: filenames of png and svg not consistent

2014-02-10 Thread Werner LEMBERG
> 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 ad

Re: filenames of png and svg not consistent

2014-02-10 Thread Jan Hakenberg
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. The

Re: filenames of png and svg not consistent

2014-02-10 Thread Werner LEMBERG
> I noticed that the image filenames of the pages are of the form > > PNG: > -page1.png > -page2.png > ... > > SVG > -page-1.svg > -page-2.svg > ... > > I.e. in case of svg there is an additional "-". > > Wouldn't it be nicer to have just one filename type? Definitely. Ideally, there should be a

filenames of png and svg not consistent

2014-02-10 Thread Jan Hakenberg
Hi, I noticed that the image filenames of the pages are of the form PNG: -page1.png -page2.png ... SVG -page-1.svg -page-2.svg ... I.e. in case of svg there is an additional "-". Wouldn't it be nicer to have just one filename type? many greetings, Jan _