From 18bda249b5777cf36c27f4abe9c14e7322770b17 Mon Sep 17 00:00:00 2001 From: zogzog Date: Tue, 24 Mar 2026 12:51:40 +0100 Subject: [PATCH] =?UTF-8?q?Modif=20d=C3=A9pot?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .claude/settings.local.json | 5 ++++- config.ini | 7 ++++--- git_updater.py | 3 ++- 3 files changed, 10 insertions(+), 5 deletions(-) diff --git a/.claude/settings.local.json b/.claude/settings.local.json index acf6101..dbc113f 100644 --- a/.claude/settings.local.json +++ b/.claude/settings.local.json @@ -1,7 +1,10 @@ { "permissions": { "allow": [ - "Bash(python git_updater.py)" + "Bash(python git_updater.py)", + "Bash(pip show:*)", + "Bash(pip install:*)", + "Bash(pyinstaller --onefile --windowed --name \"GitUpdateChecker\" git_updater.py)" ] } } diff --git a/config.ini b/config.ini index faa4564..fa5a7a8 100644 --- a/config.ini +++ b/config.ini @@ -2,6 +2,7 @@ ; Les chemins (path) sont relatifs a l'emplacement de l'exe ; Ajouter autant de sections [repo:NomDuRepo] que necessaire -[repo:Batch] -url = http://192.168.1.235:3125/zogzog/Batch -path = ../Batch + +[repo:Scripts] +url = http://192.168.1.235:3125/zogzog/Scripts +path = ../SOFT/Batch/Scripts diff --git a/git_updater.py b/git_updater.py index a09050c..9c4e200 100644 --- a/git_updater.py +++ b/git_updater.py @@ -74,7 +74,8 @@ log = setup_logging() def run_git(args, cwd=None): - cmd = ["git"] + args + # -c safe.directory=* : évite l'erreur "dubious ownership" sur clé USB + cmd = ["git", "-c", "safe.directory=*"] + args log.debug(f"git {' '.join(args)} (cwd={cwd})") try: result = subprocess.run(