pkgs/shells/zsh/zsh-command-time/default.nix

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