diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..ddb3bb1 --- /dev/null +++ b/.gitignore @@ -0,0 +1,12 @@ +# LOGFILENAME artifacts: the framework (Logging.sh + PrettyPrint.sh) appends +# every print_info/print_error line to LOGFILENAME, defined as +# "$0.-YYYY-MM-DD-HH:MM:SS.$$". Running any script that sources the +# framework therefore drops a timestamped log file next to it. Ignore these +# everywhere in the repo. +*.Monday-* +*.Tuesday-* +*.Wednesday-* +*.Thursday-* +*.Friday-* +*.Saturday-* +*.Sunday-*