diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-12-03 06:02:18 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-03 06:02:18 +0000 |
commit | 1ac9e3255be333ba7edc189443201841f7b8700d (patch) | |
tree | d1e6dcf5f86d47427ff288ef2cd9d259c1aaecf3 /pkgs/shells | |
parent | b06dbde24c852b6ea18552e134defbf5a5dfddbb (diff) | |
parent | 7ec41836730f4344e835c1ca06e33d347ff017a6 (diff) |
Merge staging-next into staging
Diffstat (limited to 'pkgs/shells')
-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; + }; +} |