Do not copy .git subdirectory when installing from local sources

2015-09-24 18:20:40 +03:00 · 2015-09-24 18:20:40 +03:00 · aaacf18772
commit aaacf18772
parent 5198a49ee2
1 changed files with 1 additions and 1 deletions
--- a/hererocks.py
+++ b/hererocks.py
@ -148,7 +148,7 @@ def fetch(versions, version, temp_dir):

        print("Using {} from {}".format(capitalize(name), version))
        result_dir = os.path.join(temp_dir, name)
-        shutil.copytree(version, result_dir)
+        shutil.copytree(version, result_dir, ignore=lambda _, __: {".git"})
        os.chdir(result_dir)
        return result_dir