Ich habe ein paar Fragen zu Dateiberechtigungen in Git gelesen und bin immer noch etwas verwirrt. Ich habe ein Repo auf GitHub von einem anderen gegabelt. Nach dem Zusammenführen sollten sie identisch sein. Jedoch:
$ 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
Ich habe versucht, die Dateiberechtigungen zu ändern, aber die Diff-Ergebnisse werden dadurch nicht geändert.
core.filemode
festgelegt habefalse
), tatsächlich das Ausführungsbit gesetzt ist.