2007-04-20 08:50:26 +00:00
|
|
|
{stdenv, fetchurl}:
|
|
|
|
|
2017-11-08 10:32:44 +00:00
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "time-${version}";
|
2018-03-15 17:04:45 +00:00
|
|
|
version = "1.9";
|
2009-04-24 13:28:16 +00:00
|
|
|
|
2007-04-20 08:50:26 +00:00
|
|
|
src = fetchurl {
|
2017-11-08 10:32:44 +00:00
|
|
|
url = "mirror://gnu/time/${name}.tar.gz";
|
2018-03-15 17:04:45 +00:00
|
|
|
sha256 = "07jj7cz6lc13iqrpgn81ivqh8rkm73p4rnivwgrrshk23v4g1b7v";
|
2007-04-20 08:50:26 +00:00
|
|
|
};
|
2009-04-24 13:28:16 +00:00
|
|
|
|
2007-04-20 08:50:26 +00:00
|
|
|
meta = {
|
2014-08-24 14:21:08 +00:00
|
|
|
description = "Tool that runs programs and summarizes the system resources they use";
|
2009-04-24 13:28:16 +00:00
|
|
|
|
|
|
|
longDescription = ''
|
|
|
|
The `time' command runs another program, then displays
|
|
|
|
information about the resources used by that program, collected
|
|
|
|
by the system while the program was running. You can select
|
|
|
|
which information is reported and the format in which it is
|
|
|
|
shown, or have `time' save the information in a file instead of
|
|
|
|
displaying it on the screen.
|
|
|
|
|
|
|
|
The resources that `time' can report on fall into the general
|
|
|
|
categories of time, memory, and I/O and IPC calls. Some systems
|
|
|
|
do not provide much information about program resource use;
|
|
|
|
`time' reports unavailable information as zero values.
|
|
|
|
'';
|
|
|
|
|
2017-11-08 10:32:44 +00:00
|
|
|
license = stdenv.lib.licenses.gpl3Plus;
|
2018-12-01 18:22:13 +00:00
|
|
|
homepage = https://www.gnu.org/software/time/;
|
2016-08-02 17:50:55 +00:00
|
|
|
platforms = stdenv.lib.platforms.unix;
|
2007-04-20 08:50:26 +00:00
|
|
|
};
|
|
|
|
}
|