chore: update pi
This commit is contained in:
@@ -20,6 +20,7 @@ let
|
|||||||
"https://gitea.va.reichard.io/evan/pi-web.git@main"
|
"https://gitea.va.reichard.io/evan/pi-web.git@main"
|
||||||
"https://gitea.va.reichard.io/evan/pi-subagents.git@main"
|
"https://gitea.va.reichard.io/evan/pi-subagents.git@main"
|
||||||
"https://gitea.va.reichard.io/evan/pi-statusline.git@main"
|
"https://gitea.va.reichard.io/evan/pi-statusline.git@main"
|
||||||
|
"npm:pi-ponytail@latest"
|
||||||
];
|
];
|
||||||
|
|
||||||
piPackagesJson = pkgs.writeText "pi-packages.json" (builtins.toJSON piPackages);
|
piPackagesJson = pkgs.writeText "pi-packages.json" (builtins.toJSON piPackages);
|
||||||
|
|||||||
@@ -18,16 +18,16 @@
|
|||||||
|
|
||||||
buildNpmPackage rec {
|
buildNpmPackage rec {
|
||||||
pname = "pi-coding-agent";
|
pname = "pi-coding-agent";
|
||||||
version = "0.80.3";
|
version = "0.80.7";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "earendil-works";
|
owner = "earendil-works";
|
||||||
repo = "pi-mono";
|
repo = "pi-mono";
|
||||||
rev = "v${version}";
|
rev = "v${version}";
|
||||||
hash = "sha256-wQTrWKsb2HCGwzSAFEk8NWSDpqxSY/lv1/R6ghcmbaA=";
|
hash = "sha256-s7dD82fugvWRvqL1VTcEwCIR5JI6t7VeFHR9NdMtG00=";
|
||||||
};
|
};
|
||||||
|
|
||||||
npmDepsHash = "sha256-geh8LH88OZybFXkR/jDeTdew6TNMdFM6jhCSYKn//dU=";
|
npmDepsHash = "sha256-Bd/NIt3lyQR5Y7P+HksPxMQvJc0AjVfDi1M1bH3/eOg=";
|
||||||
|
|
||||||
nativeBuildInputs = [ pkg-config makeWrapper ];
|
nativeBuildInputs = [ pkg-config makeWrapper ];
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user