Update settings.local.json

D David Veksler · 6 months ago c438571bb62e81d5ea15b286023fadcd94f5261e
Parent: 3d45725a5

1 file changed +12 −1

Diff

diff --git a/.claude/settings.local.json b/.claude/settings.local.json
index 08ce90e..72c95d3 100644
--- a/.claude/settings.local.json
+++ b/.claude/settings.local.json
@@ -34,7 +34,18 @@
       "WebSearch",
       "Bash(start p-doom-calculator.html)",
       "Bash(start p-doom-test-harness.html)",
-      "Bash(textutil -convert html:*)"
+      "Bash(textutil -convert html:*)",
+      "Bash(git restore:*)",
+      "Bash(for:*)",
+      "Bash(do if ! grep -q \"linkedin.com/in/davidveksler\" \"$file\")",
+      "Bash(then echo \"Missing LinkedIn link: $file\")",
+      "Bash(fi)",
+      "Bash(done)",
+      "Bash(do if ! grep -q \"cheatsheets.davidveksler.com\" \"$file\")",
+      "Bash(then echo \"Missing cheatsheets link: $file\")",
+      "Bash(do if ! grep -q \"© 2025 David Veksler · Compiled\" \"$file\")",
+      "Bash(then echo \"Missing copyright: $file\")",
+      "Bash(git commit:*)"
     ],
     "deny": []
   },