pkgs/by-name/zs/zsh-command-time/package.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchFromGitHub,
   5 }:
   6
   7 # To make use of this plugin, need to add
   8 #   programs.zsh.interactiveShellInit = ''
   9 #     source ${pkgs.zsh-command-time}/share/zsh/plugins/command-time/command-time.plugin.zsh
  10 #     ZSH_COMMAND_TIME_COLOR="yellow"
  11 #     ZSH_COMMAND_TIME_MIN_SECONDS=3
  12 #     ZSH_COMMAND_TIME_ECHO=1
  13 #   '';
  14
  15 stdenv.mkDerivation {
  16   version = "2020-11-15";
  17   pname = "zsh-command-time";
  18
  19   src = fetchFromGitHub {
  20     owner = "popstas";
  21     repo = "zsh-command-time";
  22     rev = "803d26eef526bff1494d1a584e46a6e08d25d918";
  23     hash = "sha256-ndHVFcz+XmUW0zwFq7pBXygdRKyPLjDZNmTelhd5bv8=";
  24   };
  25
  26   strictDeps = true;
  27   dontUnpack = true;
  28
  29   installPhase = ''
  30     install -Dm0444 $src/command-time.plugin.zsh --target-directory=$out/share/zsh/plugins/command-time
  31   '';
  32
  33   meta = with lib; {
  34     description = "Plugin that output time: xx after long commands";
  35     homepage = "https://github.com/popstas/zsh-command-time";
  36     license = licenses.mit;
  37     platforms = platforms.unix;
  38     maintainers = with maintainers; [ lassulus ];
  39   };
  40 }