Nick Alexander wrote:
On 26-Feb-10, at 10:41 AM, David Kirkby wrote:
If one runs 'make test' it creates a file test.log in $HOME/.sage/tmp
If would be useful if that file had the date and time in its name, or
even the PID so one could test multiple versions of Sage on the same
machine at the same time.
+1. Could I suggest that the file itself include such information, if
it does not already, and that test.log be a symlink to "the latest"
version (caveat race conditions, etc, that the OS is intended to handle).
Nick
I think creating a link might not be such a good idea, as potentially one would
test multiple versions of Sage on different hosts.
I've created a ticket for this.
http://trac.sagemath.org/sage_trac/ticket/8385
I think in addition to date and time, the hostname and sage version number would
be useful too, though getting the sage version is less important, as it is
stored in the file. It is also more difficult to get.
Currently the file
$SAGE_ROOT/local/bin/sage-maketest
actually creates $HOME/.sage/tmp/test.log
with this bit of code.
SAGE_TEST_LOG="$SAGE_TESTDIR/test.log"
Adding to that the hostname, date and time would be trivial.
Does anyone know where that file is stored?
Any more comments on this? So far just one +1.
Dave
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
