Add NodeJS to the devshell (#1064)

Pre-commit tries to run a downloaded NodeJS executable when NodeJS isn't available in the environment, but that fails to run on NixOS.
UniMath · Mar 11, 2024 · 0f0d379 · 0f0d379
1 parent fdc36fc
commit 0f0d379
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -74,6 +74,7 @@
               python
               # pre-commit checks
               pkgs.pre-commit
+              pkgs.nodejs
             ] ++ (with pkgs-mdbook; [
               # working on the website
               mdbook