lilypond-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Add user-init option to include a custom init snippet (not replacing


From: reinhold . kainhofer
Subject: Re: Add user-init option to include a custom init snippet (not replacing the whole init file) (issue1901042)
Date: Sun, 22 Aug 2010 14:04:59 +0000

On 2010/07/28 14:09:54, c_sorensen_byu.edu wrote:
>> On 2010/07/27 20:16:58, Neil Puttock wrote:
>>> user-include ?
>> How about custom-definitions or user-definitions (no, sounds too
much
>> like it defines users)?
> How about --user-startup or --custom-startup?
How about --extra-init, or --include-init ?

I now changed the option name to -dinclude-settings, which describes it
best IMO. I have also pushed this to master.

http://codereview.appspot.com/1901042/



reply via email to

[Prev in Thread] Current Thread [Next in Thread]