diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-04-12 08:46:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-12 08:46:56 +0200 |
| commit | a899ebd10241518dcd08245cd736de3666d6b2ea (patch) | |
| tree | fb9c05278c1c1568f378b543f458f6b5b4017111 /src | |
| parent | 1d3517907727ecd6fea3fc7132c4ae55b2d06958 (diff) | |
| parent | 365d4f4fd0caa3e4e1dd95eb42f7244e1424d37e (diff) | |
| download | rust-a899ebd10241518dcd08245cd736de3666d6b2ea.tar.gz rust-a899ebd10241518dcd08245cd736de3666d6b2ea.zip | |
Rollup merge of #95722 - xu-cheng:pre-push, r=Mark-Simulacrum
pre-push.sh: Use python3 if python is not found Since Python 2 has reached EOL, `python` may not be available in certain systems (e.g., recent macOS). We should use `python3` in this case to avoid error like `python: No such file or directory`.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/etc/pre-push.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/etc/pre-push.sh b/src/etc/pre-push.sh index a78725f2ab0..5f5b48bc1c0 100755 --- a/src/etc/pre-push.sh +++ b/src/etc/pre-push.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash # -# Call `tidy --bless` before each commit +# Call `tidy --bless` before git push # Copy this script to .git/hooks to activate, # and remove it from .git/hooks to deactivate. # @@ -14,6 +14,8 @@ COMMAND="$ROOT_DIR/x.py test tidy --bless" if [[ "$OSTYPE" == "msys" || "$OSTYPE" == "win32" ]]; then COMMAND="python $COMMAND" +elif ! command -v python &> /dev/null; then + COMMAND="python3 $COMMAND" fi echo "Running pre-push script '$COMMAND'" |