[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Edition Engraver suppress log files
From: |
Jan-Peter Voigt |
Subject: |
Re: Edition Engraver suppress log files |
Date: |
Mon, 15 Oct 2018 10:40:22 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 |
Hi Urs and all,
I created a branch 'addOptionHandling' for the edition-engraver. It
contains an option 'write-log', which is true by default, but can be set
to false to prevent writing of *.edition.log files.
I'd prefer default to true, but can change it if there are reasonable
votes against it.
If someone could have a look and test it I can merge this change soon.
Jan-Peter
Am 14.10.2018 um 08:32 schrieb Urs Liska:
>
>
> Am 14. Oktober 2018 08:29:46 MESZ schrieb Jan-Peter Voigt <address@hidden>:
>> Hi Craig,
>>
>> not right now, but I will implement a switch ASAP!
>>
>
> Please use the \setOption syntax for that.
>
>> Jan-Peter
>>
>> Am 14. Oktober 2018 07:30:44 MESZ schrieb Craig Dabelstein
>> <address@hidden>:
>>> Hi all,
>>>
>>> Quick question: Is it possible to stop the edition-engraver creating
>>> log
>>> files?
>>>
>>> Craig
>>>
>>>
>>> --
>>> *Craig Dabelstein*
>>> Maxime's Music
>>> address@hidden
>>> *http://maximesmusic.com <http://maximesmusic.com>*
- Edition Engraver suppress log files, Craig Dabelstein, 2018/10/14
- Re: Edition Engraver suppress log files, Jan-Peter Voigt, 2018/10/14
- Re: Edition Engraver suppress log files, Urs Liska, 2018/10/14
- Re: Edition Engraver suppress log files,
Jan-Peter Voigt <=
- Re: Edition Engraver suppress log files, Urs Liska, 2018/10/15
- Re: Edition Engraver suppress log files, Jan-Peter Voigt, 2018/10/15
- Re: Edition Engraver suppress log files, Urs Liska, 2018/10/15
- Re: Edition Engraver suppress log files, Jan-Peter Voigt, 2018/10/15
- Re: Edition Engraver suppress log files, Craig Dabelstein, 2018/10/15
- Re: Edition Engraver suppress log files, Craig Dabelstein, 2018/10/15
- Re: Edition Engraver suppress log files, Jan-Peter Voigt, 2018/10/16
- Re: Edition Engraver suppress log files, Craig Dabelstein, 2018/10/16