Merge pull request #257005 from aaronjheng/time

time: refactor
This commit is contained in:
Weijia Wang 2023-10-02 15:18:20 +02:00 committed by GitHub
commit 92166815bc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,17 +1,16 @@
{lib, stdenv, fetchurl}:
{ lib, stdenv, fetchurl }:
stdenv.mkDerivation rec {
stdenv.mkDerivation (finalAttrs: {
pname = "time";
version = "1.9";
src = fetchurl {
url = "mirror://gnu/time/${pname}-${version}.tar.gz";
sha256 = "07jj7cz6lc13iqrpgn81ivqh8rkm73p4rnivwgrrshk23v4g1b7v";
url = "mirror://gnu/time/time-${finalAttrs.version}.tar.gz";
hash = "sha256-+6zwyB5iQp3z4zvaTO44dWYE8Y4B2XczjiMwaj47Uh4=";
};
meta = {
description = "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
@ -25,9 +24,9 @@ stdenv.mkDerivation rec {
do not provide much information about program resource use;
`time' reports unavailable information as zero values.
'';
license = lib.licenses.gpl3Plus;
homepage = "https://www.gnu.org/software/time/";
platforms = lib.platforms.unix;
mainProgram = "time";
};
}
})