diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/hooks | 15 | ||||
| -rw-r--r-- | script/hooks.bat | 16 |
2 files changed, 0 insertions, 31 deletions
diff --git a/script/hooks b/script/hooks deleted file mode 100755 index 4597c6f41..000000000 --- a/script/hooks +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh - -if [ ! -d ".git" ]; then - exit 0 -fi - -mkdir -p .git/hooks - -cat > .git/hooks/pre-push << 'EOF' -#!/bin/sh -bun run typecheck -EOF - -chmod +x .git/hooks/pre-push -echo "✅ Pre-push hook installed" diff --git a/script/hooks.bat b/script/hooks.bat deleted file mode 100644 index 52d690100..000000000 --- a/script/hooks.bat +++ /dev/null @@ -1,16 +0,0 @@ -@echo off
-
-if not exist ".git" (
- exit /b 0
-)
-
-if not exist ".git\hooks" (
- mkdir ".git\hooks"
-)
-
-(
- echo #!/bin/sh
- echo bun run typecheck
-) > ".git\hooks\pre-push"
-
-echo ✅ Pre-push hook installed
|
