Isn't there a naming convention *-main.tex for the LuaLaTex file, just to avoid
such a circumstance? Are we trying to move away from that, or are we talking
about instances when we've forgotten that and wished we hadn't?
—
Sent from Mailbox
On Mon, Apr 27, 2015 at 4:06 PM, Henry So Jr. <[email protected]> wrote:
> It's probably because of the mixed connections in my brain, but I've run
> into this problem:
> I have a chant.tex file and a chant.gabc file. The chant.tex file has
> "\includescore[a]{chant}" in it. Everything works fine if I do it
> right, which is to say, if I run "lualatex --shell-escape chant".
> If, on the other hand, I am silly enough to type "gregorio chant.gabc",
> gregorio will happily clobber "chant.tex".
> Is this something that should be addressed? If not, so be it.
> If so, I can think of two ways.
> Option 1: make the default extension .gtex instead of .tex. People most
> likely will not be calling their tex files .gtex, so this should handle
> most cases. The disadvantage is that people using older scripts and
> "main TeX files" to engrave scores may have to adjust them if they
> didn't supply -o or -S to handle the gabc output themselves.
> Option 2: make gregorio read the first line of an existing .tex file and
> refuse to clobber it if the first line doesn't start with "% File
> generated by gregorio" Most people would not start their files with
> this string, so this should also handle most cases. The disadvantage
> here is some additional complexity in the executable as well and also
> that some files generated by older versions of gregorio start with
> headers rather than this signature, which means some explanation will be
> in order.
> If (and I do mean *if*) we decide this is worth it, my preference is the
> former because it's simpler.
> Shall I implement this? Which method sounds better to you?
> Regards,
> Henry
> _______________________________________________
> Gregorio-devel mailing list
> [email protected]
> https://mail.gna.org/listinfo/gregorio-devel_______________________________________________
Gregorio-devel mailing list
[email protected]
https://mail.gna.org/listinfo/gregorio-devel
