Export header dataframe to a temporary file

export_header(header.info, input.source)

Arguments

header.info	A dataframe containing file header information
input.source	A character string of the input file

Returns nothing, saves header dataframe to a temporary file.