Merge pull request 'devShell: use rm -f to clean up old pre-commit file' (#304) from Mic92-vm-api into main

2023-09-19 11:30:53 +00:00 · 2023-09-19 11:30:53 +00:00 · 4c95896e1a
commit 4c95896e1a
parent 90718da5b4 81bc0d7ea4
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"
        '';
      };
    };