public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #53201 from Izorkin/zsh-command-time

Browse Source 
zsh-command-time: enable work with options customPkgs
This commit is contained in:
Matthew Bauer 2019-01-04 10:35:54 -06:00 committed by GitHub
commit 1a7d28e31f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/shells/zsh/zsh-command-time/default.nix
View File

@ -2,7 +2,8 @@
# To make use of this plugin, need to add # To make use of this plugin, need to add
# programs.zsh.interactiveShellInit = '' # 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_MIN_SECONDS=3
# ZSH_COMMAND_TIME_ECHO=1 # ZSH_COMMAND_TIME_ECHO=1
# ''; # '';
@ -21,7 +22,7 @@ stdenv.mkDerivation rec {
phases = [ "installPhase" ]; phases = [ "installPhase" ];
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; { meta = with stdenv.lib; {