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?
Sorry if this is a stupid question, I just couldn't find much out there about un-gzipping non-traditional file extensions.