Files
2026-08-03 16:37:20 +08:00

7 lines
137 B
Python

def filename(idx):
ext = ".wav"
if isinstance(idx, int):
return "%04d%s" % (idx, ext)
else:
return idx + ext