diff --git a/scripts/sync-web.sh b/scripts/sync-web.sh index 0a982be..0a32f17 100755 --- a/scripts/sync-web.sh +++ b/scripts/sync-web.sh @@ -175,7 +175,9 @@ run_check build npm run build echo "проверки: $TESTS; tsc чисто; biome $W_NEW предупреждений (на $CORE_REF — $W_MAIN); build ок" # --- 6. Коммит, push, PR ------------------------------------------------------------------------------------------- -git -C "$WT" add -A web -- ':!web/node_modules' ':!web/dist' +# web/dist игнорируется .gitignore arm-core; исключать его pathspec'ом нельзя — git 2.50 на явно названный +# игнорируемый путь отвечает «paths are ignored» и кодом 1 (arm-ka-docs#110). Симлинк node_modules .gitignore не ловит. +git -C "$WT" add -A web -- ':!web/node_modules' git -C "$WT" -c commit.gpgsign=false commit -q -F - <