J'ai lu quelques questions concernant les autorisations de fichiers dans Git et je suis encore un peu confus. J'ai un dépôt sur GitHub dérivé d'un autre. Après la fusion, ils doivent être identiques. Toutefois:
$ git diff --summary origin/epsilon master/epsilon
mode change 100644 => 100755 ants/dist/sample_bots/csharp/compile.sh
mode change 100644 => 100755 ants/dist/starter_bots/coffeescript/MyBot.coffee
mode change 100644 => 100755 ants/dist/starter_bots/coffeescript/ants.coffee
mode change 100644 => 100755 ants/util/block_test.sh
mode change 100644 => 100755 manager/mass_skill_update.py
mode change 100644 => 100755 worker/jailguard.py
mode change 100644 => 100755 worker/release_stale_jails.py
mode change 100644 => 100755 worker/start_worker.sh
J'ai essayé de changer les autorisations de fichier, mais cela ne modifie pas les résultats de diff.
core.filemode
définifalse
) ont réellement le bit d'exécution défini.