Merge changes Ifcb0d310,I664366b8,Ibe7cf546 into main

* changes:
  gitignore: delete 90% of it
  build-time: remove 20% more by PCH'ing C++ stdlib
  shellHook: make it actually run

1 files changed, 5 insertions, 4 deletions

diff --git a/misc/pre-commit.nix b/misc/pre-commit.nix
index ed2b152a3..4f54141b3 100644
--- a/misc/pre-commit.nix
+++ b/misc/pre-commit.nix
@@ -87,11 +87,12 @@ pre-commit-run {
         "file"
         "header"
       ];
-      # generated files; these will never actually be seen by this
-      # check, and are left here as documentation
       excludes = [
-        "(parser|lexer)-tab\\.hh$"
-        "\\.gen\\.hh$"
+        ''^src/pch/.*$''
+        # generated files; these will never actually be seen by this
+        # check, and are left here as documentation
+        ''(parser|lexer)-tab\.hh$''
+        ''\.gen\.hh$''
       ];
       entry = lib.getExe pkgs.check-headers;
     };