2022-05-06 20:39:28 +02:00
|
|
|
{ lib, stdenv, fetchFromGitHub, bash }:
|
2020-04-07 00:50:36 +02:00
|
|
|
|
|
|
|
# To make use of this derivation, use
|
|
|
|
# `programs.zsh.interactiveShellInit = "source ${pkgs.zsh-nix-shell}/share/zsh-nix-shell/nix-shell.plugin.zsh";`
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2020-08-05 13:38:15 +02:00
|
|
|
pname = "zsh-nix-shell";
|
2023-05-27 10:13:31 +02:00
|
|
|
version = "0.7.0";
|
2020-04-07 00:50:36 +02:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "chisui";
|
|
|
|
repo = "zsh-nix-shell";
|
2020-08-05 13:38:15 +02:00
|
|
|
rev = "v${version}";
|
2023-05-27 10:13:31 +02:00
|
|
|
sha256 = "sha256-oQpYKBt0gmOSBgay2HgbXiDoZo5FoUKwyHSlUrOAP5E=";
|
2020-04-07 00:50:36 +02:00
|
|
|
};
|
|
|
|
|
2022-05-06 20:39:28 +02:00
|
|
|
strictDeps = true;
|
|
|
|
buildInputs = [ bash ];
|
2020-04-07 00:50:36 +02:00
|
|
|
installPhase = ''
|
|
|
|
install -D nix-shell.plugin.zsh --target-directory=$out/share/zsh-nix-shell
|
|
|
|
install -D scripts/* --target-directory=$out/share/zsh-nix-shell/scripts
|
|
|
|
'';
|
|
|
|
|
2021-01-11 08:54:33 +01:00
|
|
|
meta = with lib; {
|
2020-04-07 00:50:36 +02:00
|
|
|
description = "zsh plugin that lets you use zsh in nix-shell shell";
|
|
|
|
homepage = src.meta.homepage;
|
|
|
|
license = licenses.bsd3;
|
|
|
|
platforms = platforms.unix;
|
|
|
|
maintainers = with maintainers; [ aw ];
|
|
|
|
};
|
|
|
|
}
|