src/etc/pre-push.sh

   1 #!/usr/bin/env bash
   2 #
   3 # Call `tidy --bless` before git push
   4 # Copy this script to .git/hooks to activate,
   5 # and remove it from .git/hooks to deactivate.
   6 #
   7
   8 set -Eeuo pipefail
   9
  10 # https://github.com/rust-lang/rust/issues/77620#issuecomment-705144570
  11 unset GIT_DIR
  12 ROOT_DIR="$(git rev-parse --show-toplevel)"
  13 COMMAND="$ROOT_DIR/x.py test tidy"
  14
  15 if [[ "$OSTYPE" == "msys" || "$OSTYPE" == "win32" ]]; then
  16   COMMAND="python $COMMAND"
  17 elif ! command -v python &> /dev/null; then
  18   COMMAND="python3 $COMMAND"
  19 fi
  20
  21 echo "Running pre-push script '$COMMAND'"
  22
  23 cd "$ROOT_DIR"
  24
  25 $COMMAND