change filename pattern

This commit is contained in:
Ren Tatsumoto 2023-05-03 21:50:48 +03:00
parent 9e7623222f
commit 44e420487c

View file

@ -113,7 +113,7 @@ local function construct_filename()
end end
filename = string.format( filename = string.format(
'%s (%s-%s)', '%s_%s-%s',
filename, filename,
human_readable_time(main_menu.timings['start']), human_readable_time(main_menu.timings['start']),
human_readable_time(main_menu.timings['end']) human_readable_time(main_menu.timings['end'])