zsh-command-time: enable work with options customPkgs
This commit is contained in:
parent
d2499b137f
commit
a9c3035bd1
@ -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; {
|
||||
|
Loading…
Reference in New Issue
Block a user