diff options
author | Ludovic Courtès | 2009-04-24 13:28:16 +0000 |
---|---|---|
committer | Ludovic Courtès | 2009-04-24 13:28:16 +0000 |
commit | 0b2be106e0776900388cafffe7fdf59fedf40098 (patch) | |
tree | 46aba23da8e39b9b7908f33aee4eee16f2d736b7 | |
parent | 72656e7d1cd69ef01bbd346f89b382be356fd5aa (diff) |
GNU Time: Improve meta-information.
svn path=/nixpkgs/trunk/; revision=15288
-rw-r--r-- | pkgs/tools/misc/time/default.nix | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/pkgs/tools/misc/time/default.nix b/pkgs/tools/misc/time/default.nix index 281e0a08bfbe..658afb37c035 100644 --- a/pkgs/tools/misc/time/default.nix +++ b/pkgs/tools/misc/time/default.nix @@ -2,11 +2,30 @@ stdenv.mkDerivation { name = "time-1.7"; + src = fetchurl { url = mirror://gnu/time/time-1.7.tar.gz; sha256 = "0va9063fcn7xykv658v2s9gilj2fq4rcdxx2mn2mmy1v4ndafzp3"; }; + meta = { - description = "Command for running programs and summarizing the system resources they use"; + description = "GNU Time, a tool that runs programs and summarizes the system resources they use"; + + 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. + ''; + + license = "GPLv2+"; + homepage = http://www.gnu.org/software/time/; }; } |