GZip

Compress the specified file on the SD card to a gzip archive of the same name with a .gz extension.

Specify Delete Orig to delete the original file if the compression succeeds.