Merge pull request #101952 from mweinelt/p10k

zsh-powerlevel10k: pin gitstatus version
This commit is contained in:
Florian Klink 2020-10-28 23:18:40 +01:00 committed by GitHub
commit 4a64cdd39b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,6 +3,20 @@
# To make use of this derivation, use
# `programs.zsh.promptInit = "source ${pkgs.zsh-powerlevel10k}/share/zsh-powerlevel10k/powerlevel10k.zsh-theme";`
let
# match gitstatus version with given `gitstatus_version`:
# https://github.com/romkatv/powerlevel10k/blob/master/gitstatus/build.info
gitstatus = pkgs.gitAndTools.gitstatus.overrideAttrs (oldAtttrs: rec {
version = "1.2.0";
src = fetchFromGitHub {
owner = "romkatv";
repo = "gitstatus";
rev = "v${version}";
sha256 = "0xi5ab0rsj6xs4vqgn2j5rih1nncghr83yn395mk1is1f4bsmp0s";
};
});
in
stdenv.mkDerivation rec {
pname = "powerlevel10k";
version = "1.13.0";
@ -17,7 +31,7 @@ stdenv.mkDerivation rec {
patches = [
(substituteAll {
src = ./gitstatusd.patch;
gitstatusdPath = "${pkgs.gitAndTools.gitstatus}/bin/gitstatusd";
gitstatusdPath = "${gitstatus}/bin/gitstatusd";
})
];