What about doing tail `grep -i 'error\|fail' logfile` after a crash automatically?
On Sunday, May 18, 2014 5:34:04 PM UTC+2, leif wrote: > > It may happen that you get (just) > > > The following package(s) may have failed to build: > > The build directory may contain configuration files and other potentially > helpful information. WARNING: if you now run 'make' again, the build > directory will, by default, be deleted. Set the environment variable > SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this. > > > which can probably be misleading as is. (It may sound like everything > would get rebuilt from scratch when reissuing 'make'.) > > I'd suggest to rephrase it: > > > The following package(s) may have failed to build: > > The temporary build directories *of those packages* may contain > configuration files and other potentially helpful information. > WARNING: If you now run 'make' again, *these* build directories will, > by default, be deleted. Set the environment variable > SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this. > > > (We could also add a note there that setting SAGE_KEEP_BUILT_SPKGS -- in > retrospective, also a kind of misleading name* -- to 'yes' in general > will potentially massively increase the disk space requirements, and on > how to later get rid of them.) > > We should also clarify that "setting" there is supposed to mean "setting > and exporting" the variable. And one should unset it afterwards if > everything went smooth (also deleting the temporary build directories, > as mentioned above.) > > > -leif > > P.S.: Bonus points for checking whether SAGE_KEEP_BUILT_SPKGS is > already set to "yes", in order to not advise the user superfluously or > more than once (which already confused at least some). > > _____________ > * SAGE_KEEP_TEMPORARY_[[S]PKG_]BUILD_DIRS would probably fit better. > > -- > () The ASCII Ribbon Campaign > /\ Help Cure HTML E-Mail > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
