diff options
author | Matthew Bauer <mjbauer95@gmail.com> | 2019-01-04 10:35:54 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-04 10:35:54 -0600 |
commit | 1a7d28e31f3f66f5806b9b150b978aef9b5fbe7e (patch) | |
tree | 2e28d1ae0beef236dc9d14e5b4cfad610c10ebfe /pkgs/shells | |
parent | 5a7bc59b0772f2c4c067f9c77391df94cd62194f (diff) | |
parent | a9c3035bd12e27a0e476f0dfb9350f5ed260cde9 (diff) |
Merge pull request #53201 from Izorkin/zsh-command-time
zsh-command-time: enable work with options customPkgs
Diffstat (limited to 'pkgs/shells')
-rw-r--r-- | pkgs/shells/zsh/zsh-command-time/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/shells/zsh/zsh-command-time/default.nix b/pkgs/shells/zsh/zsh-command-time/default.nix index c82b455200a90..c81c1ea46c5f3 100644 --- a/pkgs/shells/zsh/zsh-command-time/default.nix +++ b/pkgs/shells/zsh/zsh-command-time/default.nix @@ -2,7 +2,8 @@ # To make use of this plugin, need to add # programs.zsh.interactiveShellInit = '' -# source ${pkgs.zsh-command-time}/share/zsh-command-time/command-time.plugin.zsh +# source ${pkgs.zsh-command-time}/share/zsh/plugins/command-time/command-time.plugin.zsh +# ZSH_COMMAND_TIME_COLOR="yellow" # ZSH_COMMAND_TIME_MIN_SECONDS=3 # ZSH_COMMAND_TIME_ECHO=1 # ''; @@ -21,7 +22,7 @@ stdenv.mkDerivation rec { phases = [ "installPhase" ]; installPhase = '' - install -Dm444 $src/command-time.plugin.zsh --target-directory=$out/share/zsh-command-time + install -Dm0444 $src/command-time.plugin.zsh --target-directory=$out/share/zsh/plugins/command-time ''; meta = with stdenv.lib; { |