Przeczytałem kilka pytań dotyczących uprawnień do plików w Git i nadal jestem trochę zdezorientowany. Mam repozytorium na GitHub rozwidlone z innego. Po scaleniu powinny być identyczne. Jednak:
$ 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
Próbowałem zmienić uprawnienia do plików, ale nie zmienia to wyników różnic.
core.filemode
ustawiłemfalse
), faktycznie mają ustawiony bit wykonania.