diff options
author | Paul Oliver <contact@pauloliver.dev> | 2024-02-29 02:29:13 +0100 |
---|---|---|
committer | Paul Oliver <contact@pauloliver.dev> | 2024-02-29 02:29:13 +0100 |
commit | 39abbc1596fde561111ce388f01e727452cdab96 (patch) | |
tree | 51c6b076182d9aba490ff2c5b1991f3f8bd1b773 /.gitignore | |
parent | 7c5045d4d0da298f7f129ed580b69983342ac68e (diff) |
Auto saved files are now gzipped.
[#8] We compress all auto saved files via a subprocess call to 'gzip'.
Saved files are reduced to around 25% of their original size.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,6 +3,6 @@ bin/common/pipe bin/error.log bin/lib/libsalis.so bin/sims/*.sim -bin/sims/auto/*.auto +bin/sims/auto/*.auto.gz build/*.d build/*.o |