time: refactor

This commit is contained in:
Aaron Jheng 2023-09-24 11:14:02 +08:00
parent 0a320a73b6
commit 966558ffde
No known key found for this signature in database
GPG key ID: F6A547A869D050A3

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";
};
}
})