Fixed deterministicness of fetchgit with leaveDotGit

The shebang of .git/hooks depended the git's bash, which made the result
depend of that bash's path.
This commit is contained in:
Georges Dubus
2014-08-10 16:25:29 +02:00
parent 05e81e0d9f
commit ca0b0a68e8
2 changed files with 4 additions and 3 deletions

View File

@@ -227,8 +227,9 @@ clone_user_rev() {
echo "removing \`.git'..." >&2
find $dir -name .git\* | xargs rm -rf
else
# The logs and index contain timestamps
find $dir -name .git | xargs -I {} rm -rf {}/logs {}/index
# The logs and index contain timestamps, and the hooks contain
# the nix path of git's bash
find $dir -name .git | xargs -I {} rm -rf {}/logs {}/index {}/hooks
fi
}