devShell: use rm -f to clean up old pre-commit file

2023-09-19 13:19:24 +02:00 · 2023-09-19 13:19:24 +02:00 · 81bc0d7ea4
commit 81bc0d7ea4
parent 90718da5b4
1 changed files with 1 additions and 1 deletions
--- a/devShell.nix
+++ b/devShell.nix
@ -15,7 +15,7 @@
        ];
        shellHook = ''
          # no longer used
-          rm "$(git rev-parse --show-toplevel)/.git/hooks/pre-commit"
+          rm -f "$(git rev-parse --show-toplevel)/.git/hooks/pre-commit"
        '';
      };
    };