Closed khorser closed 11 years ago
An easier option would probably be to pass --keep
to gzip
, that way it won't delete the .tar.gz. I'll aim to check in a fix for this at the weekend, unless someone sends me a pull request first. Thanks for reporting the issue.
Fixed in #29
"gzip --decompress --force .." </> takeFileName out <.> "tar.gz" deletes original .tar.gz file so subsequent runs of 'hoogle data' without -r option will fail on this step. I see two options here: either skip ungzipping if .tar is present and .tar.gz is not, or keep .tar.gz.