Simpler setup

This commit is contained in:
Filippo Berto 2025-02-20 20:54:02 +01:00
parent a155dc30b6
commit e83145214f
Signed by: bertof
GPG key ID: 9DBF7E6A1D2CE9ED
6 changed files with 40 additions and 31 deletions

View file

@ -171,7 +171,7 @@
statix.enable = true;
};
devShells.default = pkgs.mkShell {
devShells.default = pkgs.mkShellNoCC {
buildInputs = [ pkgs.deploy-rs ];
shellHook = ''
${config.pre-commit.installationScript}