There should be an option to override column names in CSV result files. Currently, the output file format allows the user to specify names for columns in a CSV result file. However, if the header flag is set to true the names in the file are used.
The desired behavior is that if a list of columns is given the names in this list will be used as column names in all cases, independent of whether the file contains a header line or not.
There should be an option to override column names in CSV result files. Currently, the output file format allows the user to specify names for columns in a CSV result file. However, if the header flag is set to true the names in the file are used.
The desired behavior is that if a list of columns is given the names in this list will be used as column names in all cases, independent of whether the file contains a header line or not.