From 91a11bfa27477277d900554bd6da94080202d61a Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Sun, 10 Mar 2024 22:11:00 +1000 Subject: [PATCH] Ensure eris cache directory is ignored by git - Added a .gitignore file containing "*" to the cache --- eris/eris/__main__.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/eris/eris/__main__.py b/eris/eris/__main__.py index 9baf89b..9fd7d6d 100755 --- a/eris/eris/__main__.py +++ b/eris/eris/__main__.py @@ -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():