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:

Status badges

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 roed

  • Component changed from doctest to doctest framework

comment:2 Changed 9 years ago by jdemeyer

  • Milestone changed from sage-5.10 to sage-duplicate/invalid/wontfix
  • Reviewers set to Jeroen Demeyer
  • Status changed from new to needs_review

Given that the original problem (writing to $HOME) doesn't occur anymore, given that running make (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.

comment:3 Changed 9 years ago by jdemeyer

  • Status changed from needs_review to positive_review

comment:4 Changed 9 years ago by jdemeyer

  • Resolution set to invalid
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.