Merge pull request #130488 from Stunkymonkey/zsh-command-time-phases

zsh-command-time: deprecate phases
This commit is contained in:
Sandro 2021-07-18 00:40:09 +02:00 committed by GitHub
commit 5378442edd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -19,7 +19,7 @@ stdenv.mkDerivation {
sha256 = "1bvyjgz6bhgg1nwr56r50p6fblgah6yiql55pgm5abnn2h876fjq";
};
phases = [ "installPhase" ];
dontUnpack = true;
installPhase = ''
install -Dm0444 $src/command-time.plugin.zsh --target-directory=$out/share/zsh/plugins/command-time