file_to_s3_gzip.Rd
transfer file to gzipped file on aws s3
file_to_s3_gzip(path, s3_bucket, s3_path, content_type = NULL)
path to local file
s3 bucket name
s3 path in bucket, if it is a path component ending with a slash (`/`) the basename of the input path will be appended
mime type of the data, default is inferred from file extension
upload result (boolean)