Modif dépot

.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)"
     ]
   }
 }

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

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(