Move script to src/etc

Author: caass

src/tools/install-git-hook/src/pre-commit.sh renamed to src/etc/pre-commit.sh

@@ -1,12 +1,16 @@
-#!/bin/sh
+#!/bin/env bash
 #
 # Call `tidy --bless` before each commit
+# Copy this scripts to .git/hooks to activate,
+# and remove it from .git/hooks to deactivate.
 #
-# To enable this hook, run `./x.py run install-git-hook`.
-# To disable it, run `./x.py run install-git-hook --remove`
+# For help running bash scripts on Windows,
+# see https://stackoverflow.com/a/6413405/6894799
+#
+
 set -Eeuo pipefail
 
-ROOT_DIR=$(git rev-parse --show-toplevel);
+ROOT_DIR="$(git rev-parse --show-toplevel)";
 COMMAND="$ROOT_DIR/x.py test tidy --bless";
 
 if [[ "$OSTYPE" == "msys" || "$OSTYPE" == "win32" ]]; then