Opened 9 years ago

Last modified 7 years ago

#14202 new defect

Workaround potential absence of time command on Cygwin — at Initial Version

Reported by: jpflori Owned by: tbd
Priority: minor Milestone: sage-6.4
Component: interfaces: optional Keywords: time optional sieve
Cc: kcrisman, dimpase Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


We have a bash time builtin but no "real" time unless the time package is installed. So in this case if time is not the first command youll get a "command not found".

This is problematic in sage/interfaces/

See,, and

Change History (0)

Note: See TracTickets for help on using tickets.