file_filter_with_initialization/6¶

file_filter_with_initialization(+ FileIn, + FileOut, + Goal, + FormatCommand, + Arguments)*

Same as file_filter//33, but before starting the filter execute format//33 on the output stream, using FormatCommand and Arguments.