next | previous | forward | backward | up | top | index | toc | Macaulay2 website
RunExternalM2 :: KeepStatisticsCommand

KeepStatisticsCommand -- an option that tells how to collect statistics

Description

This value of this option is a function that takes a filename f and a command string c as its two parameters, and returns a string that, when run, will execute c and put statistics in f.

The default function should work in most cases. It first tries to use /usr/bin/time, then the time implementation built-in to certain shells, and otherwise makes the feature unavailable. Certain implementations of /usr/bin/time are given special flags to provide more details.

See also

Functions with optional argument named KeepStatisticsCommand :

For the programmer

The object KeepStatisticsCommand is a symbol.