Ensure eris cache directory is ignored by git

- Added a .gitignore file containing "*" to the cache
This commit is contained in:
Andrew Hamilton 2024-03-10 22:11:00 +10:00
parent d80648a3a7
commit 91a11bfa27

View file

@ -1104,6 +1104,9 @@ def manage_cache(root_path):
os.mkdir(cache_path)
with open(checksum_path, "w") as checksum_file:
checksum_file.write(source_checksum())
gitignore_path = os.path.join(cache_path, ".gitignore")
with open(gitignore_path, "w") as gitignore_file:
gitignore_file.write("*")
def print_tool_info():