Opened 12 years ago
Closed 9 years ago
#8385 closed enhancement (invalid)
Add hostname, date and time to test.log
Reported by: | drkirkby | Owned by: | tbd |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | doctest framework | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | Jeroen Demeyer | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Currently, if one runs
$ make test
a file
$HOME/.sage/tmp/test.log
is created with the results of the tests. However, this stops testing two versions of Sage at the same time - even if the tests take place on different machines.
Hence it would be useful if the log file had the hostname, date and time in it.
I would suggest a name like
test.log-redstart-23:22:57-02:26:2010
would be useful to indicate
- The hostname was "redstart"
- The time the tests started was "23:22:57"
- The date the tests started was "02:26:2010"
This would allow multiple versions of Sage to be tested on multiple computers at the same time.
Adding the Sage version would be nice too, as below for Sage 4.3.3
test.log-4.3.3-redstart-23:22:57-02:26:2010
Dave
Change History (4)
comment:1 Changed 9 years ago by
- Component changed from doctest to doctest framework
comment:2 Changed 9 years ago by
- Milestone changed from sage-5.10 to sage-duplicate/invalid/wontfix
- Reviewers set to Jeroen Demeyer
- Status changed from new to needs_review
comment:3 Changed 9 years ago by
- Status changed from needs_review to positive_review
comment:4 Changed 9 years ago by
- Resolution set to invalid
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Given that the original problem (writing to
$HOME
) doesn't occur anymore, given that runningmake (p)test(long)
twice in the same installation is unlikely and given that it's nice to have easy, predictable filenames for the logfiles, I propose to close this as invalid.