The data are in CSV files, and each line starts with the measurement time and date information:
with the measurements following after. Here the order is Year, Month, Day, Hour, Minute.2009 , 2 , 1 , 12 , 8 ,
In the output file I need the date and time to be re-formatted thus:
Here's the problem: how can I get the leading zero that I need in the case of single digit minute data? At the moment my filter outputs
Any help will be greatly appreciated.