Description Usage Arguments Value
filter and convert zipped csv to gzipped csv.
1 2  | 
in_file | 
 name of csv file.  | 
out_file | 
 name of file to save.  | 
filter_vector | 
 boolean vector to filter on.  | 
number_chunks | 
 number of chunks to use. Overrides chunk_size.  | 
chunk_size | 
 number of rows in each chunk.  | 
compression | 
 whether to compress the saved file.  | 
... | 
TRUE if no errors.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.