Premenovanie spúšťacieho skriptu

This commit is contained in:
Ján Pták 2026-11-06 01:06:30 +01:00
parent 7239620574
commit 7f03a2d715
2 changed files with 4 additions and 4 deletions

View File

@ -7,7 +7,7 @@ runner_root="$project_root/tools/git_runner"
env_file="$project_root/.env"
usage() {
echo "Pouzitie: bash scripts/zpwiki-sync.sh {init|up|status|logs|stop}"
echo "Pouzitie: bash scripts/runner.sh {init|up|status|logs|stop}"
}
if [[ $# -ne 1 ]]; then
@ -37,7 +37,7 @@ case "$1" in
esac
if [[ ! -f "$env_file" ]]; then
echo "Najprv spusti: bash scripts/zpwiki-sync.sh init" >&2
echo "Najprv spusti: bash scripts/runner.sh init" >&2
exit 1
fi

View File

@ -12,7 +12,7 @@ import yaml
ROOT = Path(__file__).resolve().parents[1]
RUNNER = ROOT / 'tools/git_runner'
LAUNCHER = ROOT / 'scripts/zpwiki-sync.sh'
LAUNCHER = ROOT / 'scripts/runner.sh'
FORK = 'git@git.kemt.fei.tuke.sk:jp170na/zpwiki.git'
UPSTREAM = 'git@git.kemt.fei.tuke.sk:KEMT/zpwiki.git'
@ -179,7 +179,7 @@ def test_unknown_options_never_change_fork(repositories, args):
def helper_layout(root):
launcher=root / 'scripts/zpwiki-sync.sh'
launcher=root / 'scripts/runner.sh'
launcher.parent.mkdir()
shutil.copy2(LAUNCHER,launcher)
config=root / 'tools/git_runner'