From 849fa5b012d71eb0b8e3510127f5817a9f0e1aa7 Mon Sep 17 00:00:00 2001 From: vkcku Date: Mon, 1 Jun 2026 20:39:06 +0530 Subject: root: add script to push to public monorepo monorepo-revid: a185caa6046909e6a4a04114a2876052555af252 --- root/nix/devshell.nix | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'root/nix/devshell.nix') diff --git a/root/nix/devshell.nix b/root/nix/devshell.nix index 6c1dc29..98131e4 100644 --- a/root/nix/devshell.nix +++ b/root/nix/devshell.nix @@ -20,7 +20,11 @@ inputsFrom = [ self.devShells."${system}".common ]; packages = [ + # keep-sorted start + (pkgs.python3.withPackages (ps: [ ps.git-filter-repo ])) + pkgs.ty treefmt + # keep-sorted end ]; shellHook = '' export TREEFMT_WORKING_DIR="$("${pkgs.git}/bin/git" rev-parse --show-toplevel)" -- cgit v1.3.1