diff options
| author | Izorkin <Izorkin@gmail.com> | 2018-07-27 14:55:02 +0300 |
|---|---|---|
| committer | Izorkin <Izorkin@gmail.com> | 2018-07-27 14:55:02 +0300 |
| commit | 264077482e32f7de846a8d124c876e19d5d520c9 (patch) | |
| tree | 703e77386cb2eaf9b159d689fb142c737989eccd /pkgs/shells/zsh/zsh-command-time | |
| parent | f8e8ecde51b49132d7f8d5adb971c0e37eddcdc2 (diff) | |
zsh-command-time: disable exec flag
Diffstat (limited to 'pkgs/shells/zsh/zsh-command-time')
| -rw-r--r-- | pkgs/shells/zsh/zsh-command-time/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/shells/zsh/zsh-command-time/default.nix b/pkgs/shells/zsh/zsh-command-time/default.nix index 390039944c09..c82b455200a9 100644 --- a/pkgs/shells/zsh/zsh-command-time/default.nix +++ b/pkgs/shells/zsh/zsh-command-time/default.nix @@ -18,8 +18,10 @@ stdenv.mkDerivation rec { sha256 = "1bvyjgz6bhgg1nwr56r50p6fblgah6yiql55pgm5abnn2h876fjq"; }; + phases = [ "installPhase" ]; + installPhase = '' - install -D $src/command-time.plugin.zsh --target-directory=$out/share/zsh-command-time + install -Dm444 $src/command-time.plugin.zsh --target-directory=$out/share/zsh-command-time ''; meta = with stdenv.lib; { |