I have a file called file1.atz
. I know that it is gzipped. The uncompressed file extension should be .ats
. I have read the man pages and I just want to verify I'm uncompressing this correctly, because the program that's supposed to read this file isn't able to (which could be for other reasons, I'm just trying to isolate the problem). So if I do this:
gzip -S atz file1.atz
I'm then left with a file called file1.
(note the .
). Did I unzip that correctly? Then I just manually rename with a mv file1. file1.ats
to get what I want?