diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2022-12-03 05:53:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-03 05:53:24 +0100 |
commit | 9a3668379e6bff86d2742f8d4953d208e89df416 (patch) | |
tree | 8657bd363ceb81e35dfba4877e82802254c698de /pkgs/shells/zsh | |
parent | 345be3674d456d3bdaaee3a9a844843161176b14 (diff) | |
parent | ba9d6825bd52b62f294f8bcf47f3e498beaca58b (diff) |
Merge pull request #203920 from deejayem/add-zsh-edit
Diffstat (limited to 'pkgs/shells/zsh')
-rw-r--r-- | pkgs/shells/zsh/zsh-edit/default.nix | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/pkgs/shells/zsh/zsh-edit/default.nix b/pkgs/shells/zsh/zsh-edit/default.nix new file mode 100644 index 0000000000000..9c734c928c24e --- /dev/null +++ b/pkgs/shells/zsh/zsh-edit/default.nix @@ -0,0 +1,33 @@ +{ stdenv, lib, fetchFromGitHub }: + +stdenv.mkDerivation rec { + pname = "zsh-edit"; + version = "unstable-2022-05-05"; + + src = fetchFromGitHub { + owner = "marlonrichert"; + repo = "zsh-edit"; + rev = "4a8fa599792b6d52eadbb3921880a40872013d28"; + sha256 = "PI4nvzB/F0mHlc0UZJdD49vjzB6pXhhJYNTSmBhY8iU="; + }; + + strictDeps = true; + + dontBuild = true; + + installPhase = '' + outdir=$out/share/zsh/${pname} + install -D zsh-edit.plugin.zsh $outdir/zsh-edit.plugin.zsh + install -D _bind $outdir/_bind + install -d $outdir/functions + install -D functions/{,.edit}* $outdir/functions + ''; + + meta = with lib; { + homepage = "https://github.com/marlonrichert/zsh-edit"; + description = "A set of powerful extensions to the Zsh command line editor"; + license = licenses.mit; + maintainers = with maintainers; [ deejayem ]; + platforms = platforms.all; + }; +} |