From ba9d6825bd52b62f294f8bcf47f3e498beaca58b Mon Sep 17 00:00:00 2001 From: David Morgan Date: Thu, 1 Dec 2022 12:28:41 +0000 Subject: [PATCH] zsh-edit: init at unstable-2022-05-05 --- pkgs/shells/zsh/zsh-edit/default.nix | 33 ++++++++++++++++++++++++++++ pkgs/top-level/all-packages.nix | 2 ++ 2 files changed, 35 insertions(+) create mode 100644 pkgs/shells/zsh/zsh-edit/default.nix diff --git a/pkgs/shells/zsh/zsh-edit/default.nix b/pkgs/shells/zsh/zsh-edit/default.nix new file mode 100644 index 000000000000..9c734c928c24 --- /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; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index be3c2791aafb..c4e0f7080eff 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -13373,6 +13373,8 @@ with pkgs; zsh-clipboard = callPackage ../shells/zsh/zsh-clipboard { }; + zsh-edit = callPackage ../shells/zsh/zsh-edit { }; + zsh-git-prompt = callPackage ../shells/zsh/zsh-git-prompt { }; zsh-history = callPackage ../shells/zsh/zsh-history { };