diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-10-02 15:18:20 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-02 15:18:20 +0200 |
commit | 92166815bc757099fed67504881c3efc4cc12062 (patch) | |
tree | ecc924abfafede010c2e975f749697240cf89bd1 /pkgs | |
parent | a2e77ed24f47bebda2146b9df7e9c57ec03f8b72 (diff) | |
parent | 966558ffdec558b8980d7ecec919d1f6af00fb59 (diff) |
Merge pull request #257005 from aaronjheng/time
time: refactor
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/tools/misc/time/default.nix | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/pkgs/tools/misc/time/default.nix b/pkgs/tools/misc/time/default.nix index 8707309937bea..1df89b323838f 100644 --- a/pkgs/tools/misc/time/default.nix +++ b/pkgs/tools/misc/time/default.nix @@ -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"; }; -} +}) |