oot/tools/generate_patch_from_jenkins.sh
cadmic 37efc27162
Run fix_bss.py in Jenkins and generate a patch (#2168)
* fix_bss.py: Disable colors if stdout is not a tty

* Run fix_bss.py in CI and output a patch

* Wording tweaks
2024-09-08 18:27:36 -04:00

12 lines
346 B
Bash
Executable File

#!/bin/bash
set -euo pipefail
PATCH=$(git diff | base64 -w 0)
if [ -n "$PATCH" ]; then
echo "Jenkins made some fixes to your PR. To apply these changes to your working directory,"
echo "copy and run the following command (triple-click to select the entire line):"
echo
echo "echo -n $PATCH | base64 -d | git apply -"
echo
fi