Changes between Version 5 and Version 6 of Ticket #13361


Ignore:
Timestamp:
09/19/12 17:41:32 (9 years ago)
Author:
jhpalmieri
Comment:

Two questions:

  • would it be useful to be able to sort by times including children (keeping the default as is) by specifying a command-line argument? (I don't know the answer to this one.)
  • should the usage sage --startuptime [modulename] be documented in sage --advanced and in devel/sage/doc/en/reference/options.rst? (I think the answer to this one is "yes". See the attached referee patches.)

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13361

    • Property Reviewers changed from to John Palmieri
  • Ticket #13361 – Description

    v5 v6  
    22
    33* Apply [attachment:trac_13361_startuptime.patch] to the scripts (`SAGE_LOCAL/bin`) repository.
    4 * Apply [attachment:trac_13361_startuptime_args.patch] to the root repository.
    5 * Apply [attachment:trac_13361_fix_test.patch] to the Sage library
     4* Apply [attachment:trac_13361_startuptime_args.patch] and [attachment:trac_13361-root-referee.patch] to the root repository.
     5* Apply [attachment:trac_13361_fix_test.patch] and [attachment:trac_13361-sagelib-referee.patch] to the Sage library