mig5/enroll
1
0
Fork 0
Code Issues Pull requests Projects Releases 19 Packages Wiki Activity Actions

Ignore files that end with a tilde (probably backup files generated by editors)

Browse source
This commit is contained in:
Miguel Jacq 2026-01-05 15:23:45 +11:00
parent e04b158c39
commit b5e32770a3
Signed by: mig5
GPG key ID: 59B3F0C24135C6A9
2 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
enroll/ignore.py
View file

@ -100,6 +100,9 @@ class IgnorePolicy:
# Always ignore plain *.log files (rarely useful as config, often noisy).
if path.endswith(".log"):
return "log_file"
# Ignore editor/backup files that end with a trailing tilde.
if path.endswith("~"):
return "tilde_backup"
if not self.dangerous:
for g in self.deny_globs or []: