| Ticket Hash: | b75a76b0cbcfa846f6cb99fb41b33960d24f488c | ||
| Title: | Handle gzipped files | ||
| Status: | Open | Type: | Feature_Request |
| Severity: | Minor | Priority: | |
| Subsystem: | Resolution: | ||
| Last Modified: |
2017-01-10 16:03:32 8.36 years ago |
Created: |
2017-01-10 16:03:32 8.36 years ago |
| Version Found In: | |||
| User Comments: | ||||
peter added on 2017-01-10 16:03:32:
Handle gzipped files directly if requested, or maybe by file name? I.e. do this when reading files: zlib push gunzip $ch | ||||