<div dir="ltr">On Wed, Sep 18, 2013 at 7:49 AM, Bob Ball <span dir="ltr"><<a href="mailto:bob.ball@citrix.com" target="_blank">bob.ball@citrix.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div lang="EN-GB" link="blue" vlink="purple">
<div>
<p class="MsoNormal"><span style="color:rgb(31,73,125);font-family:Calibri,sans-serif;font-size:11pt">In which case, would a simple fix of adding a “localrc.generated” be sufficient?</span><br></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">Produce a localrc which simply imports localrc.generated and replace localrc.generated in all cases – still allowing users to override it if needed?</span></p>
</div></div></blockquote><div><br></div><div>OK, how about this:</div><div><br></div><div>- always extract localrc section from local.conf into localrc.generated (if it exists)</div><div>- append localrc (if it exists) to localrc.generated</div>
<div><br></div><div>This works for stack.sh, but localrc is used in a _lot_ of places, do we re-generate each time? We have to to keep the current semantics of localrc edits being effective immediately.</div><div><br></div>
<div>I want to keep this as simple as possible...</div><div><br></div><div>dt </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div lang="EN-GB" link="blue" vlink="purple">
<div><p class="MsoNormal"></p></div></div></blockquote></div><div><br></div>-- <br><br>Dean Troyer<br><a href="mailto:dtroyer@gmail.com">dtroyer@gmail.com</a><br>
</div></div>