#12729: decrease the size of SAGE_ROOT/install.log
----------------------------------+-----------------------------------------
       Reporter:  jhpalmieri      |         Owner:  GeorgSWeber 
           Type:  enhancement     |        Status:  needs_review
       Priority:  minor           |     Milestone:  sage-5.6    
      Component:  build           |    Resolution:              
       Keywords:                  |   Work issues:              
Report Upstream:  N/A             |     Reviewers:              
        Authors:  John Palmieri   |     Merged in:              
   Dependencies:  #12714, #12369  |      Stopgaps:              
----------------------------------+-----------------------------------------

Comment (by leif):

 Replying to [comment:14 jdemeyer]:
 > Now that I think about this again, it is sometimes useful to have the
 full `install.log` like we have now, for debugging race conditions that
 exist in parallel builds.  With this patch applied, it would have been
 much harder to diagnose #13407 for example.  So consider this as a mild
 proposal to close this ticket as "wontfix".

 Well, as mentioned, the amount of output (especially to the screen) should
 be ''configurable'', which is IMHO feasable.

 The ''average user^TM^'' will hardly be interested in what we produce now
 (while some kind of `install.log` could still be complete, also
 configurably);  buildbots should certainly create "full" logs.

 If a user disables all full logs but afterwards reports some hardly
 reproducable error (presumably due to some race condition), he and we will
 have to live with that;  that's not much different to the frequent case
 where the logs (or further details regarding the build conditions)
 ''somehow'' got lost...

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12729#comment:15>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to