Hello,
I was wondering if I could add more digits to the index of the name of an output file. For instance, changing 'roms_his_0001.nc' to 'roms_his_00001.nc'. I would appreciate it very much if someone could point me to the source code where the filename convention is set.
Many thanks!
Guangyu