Windows Gz File

And to create a GZ file, you can use: $$gzip -c file > file.gz$$