From 6252b3f666709324265a8c8e1438c0866191b820 Mon Sep 17 00:00:00 2001
From: ruijia-zhou <69565833+ruijia-zhou@users.noreply.github.com>
Date: Wed, 26 Oct 2022 03:05:57 +1100
Subject: [PATCH] Install a git pre-push lint hook as part of
 setup-test-tools.sh (#1345)

* Update windbg.py

* Update hexdump.py

* Update hexdump.py

* Update hexdump.py

* Update hexdump.py

* Update hexdump.py

* Update hexdump.py

* Update windbg.py

* Update windbg.py

* Update hexdump.py

* Update hexdump.py

* Update typeinfo.py

* Update hexdump.py

* Update windbg.py

* Update setup-dev.sh

* Update setup-dev.sh

* Update setup-dev.sh

* Update setup-dev.sh

* Update hexdump.py

* Update typeinfo.py

* Update windbg.py

* Update setup-dev.sh

* Update setup-dev.sh
---
 setup-dev.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/setup-dev.sh b/setup-dev.sh
index fe10d24d4..19190a868 100755
--- a/setup-dev.sh
+++ b/setup-dev.sh
@@ -5,6 +5,17 @@ echo "# Install testing tools."
 echo "# Only works with Ubuntu / APT."
 echo "# --------------------------------------"
 
+hook_script_name=".git/hooks/pre-push"
+
+if [ -t 1 ]; then
+    echo "Install a git hook to automatically lint files before pushing? (y/N)"
+    read yn
+    if [[ "$yn" == [Yy]* ]]; then
+        echo "./lint.sh -f" >>$hook_script_name
+        echo "pre-push hook installed to $hook_script_name"
+    fi
+fi
+
 if [[ -z "$ZIGPATH" ]]; then
     # If ZIGPATH is not set, set it to $pwd/.zig
     # In Docker environment this should by default be set to /opt/zig