2 Commits

Author SHA1 Message Date
Pedro Cabral
575c05e65d added commit message 2026-07-17 15:57:07 +02:00
Pedro Cabral
052bbeed39 auto build only run after save 2026-07-17 13:20:51 +02:00
2 changed files with 4 additions and 2 deletions

View File

@@ -16,5 +16,6 @@
} }
], ],
"latex-workshop.latex.recipe.default": "Smart LaTeX Build", "latex-workshop.latex.recipe.default": "Smart LaTeX Build",
"latex-workshop.formatting.latex": "latexindent" "latex-workshop.formatting.latex": "latexindent",
"latex-workshop.latex.autoBuild.run": "onSave"
} }

View File

@@ -29,6 +29,7 @@ if ! git rev-parse --verify --quiet "${COMMIT}^{commit}" >/dev/null; then
fi fi
COMMIT="$(git rev-parse --short "$COMMIT")" COMMIT="$(git rev-parse --short "$COMMIT")"
COMMIT_MSG="$(git log -1 --pretty=format:%s "$COMMIT")"
PARENT_COUNT="$(git rev-list --parents -n 1 "$COMMIT" | wc -w | tr -d ' ')" PARENT_COUNT="$(git rev-list --parents -n 1 "$COMMIT" | wc -w | tr -d ' ')"
if [[ "$PARENT_COUNT" -gt 2 ]]; then if [[ "$PARENT_COUNT" -gt 2 ]]; then
@@ -59,7 +60,7 @@ handle_error() {
trap handle_error ERR trap handle_error ERR
echo -e "${BLUE}Replicating commit ${COMMIT} from '${START_BRANCH}' to local branches.${RESET}" echo -e "${BLUE}Propagating commit ${BOLD}'${COMMIT}: ${COMMIT_MSG}'${RESET}${BLUE} from '${START_BRANCH}' to local branches.${RESET}"
while IFS= read -r BRANCH; do while IFS= read -r BRANCH; do
if [[ "$BRANCH" == "$START_BRANCH" ]]; then if [[ "$BRANCH" == "$START_BRANCH" ]]; then