<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Mar 15, 2018 at 3:21 PM, Fedor Sergeev <span dir="ltr"><<a href="mailto:fedor.sergeev@azul.com" target="_blank">fedor.sergeev@azul.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    git-commit-after-all solution has one serious issue - it has a
    hardcoded git handling which<br>
    makes it look problematic from many angles (picking a proper git,<br>
    selecting exact way of storing information, creating repository,
    replacing the file etc etc).<br></div></blockquote><div><br></div><div>True. Although that can be said of our 'dot' printing passes too (that create uncontrolable file names in an uncontrolable directory) and 'view' (that call 'dot' and 'gv' commands).</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF">
    Just dumping information in a way that allows easy subsequent
    machine processing<br>
    seems to be a more flexible, less cluttered and overall clean
    solution that allows to avoid<br>
    making any of "user interface" decisions mentioned above.<br></div></blockquote><div><br></div><div>Maybe those 'dot' and 'view' passes are bad examples too and we should print to stdout and rely on some post-processing?</div><div>I never liked the fact that they pollute my directory. (also, I much prefer xdot than gv+ps as a viewer)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF">
    We need to understand why git-commit-after-all works faster than
    print-after-all.<br>
    I dont believe in magic... yet :)<br></div></blockquote><div><br></div><div>Yes, really curious too! :-)</div><div>  </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF">And, btw, thanks for both the idea and the patch.<br></div></blockquote><div><br></div><div>You are welcome. Glad that's of any use. </div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF">
    regards,<br>
      Fedor.</div></blockquote><div> </div></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><b>Alexandre Isoard</b><br></div></div>
</div></div>