m-teng/file_io.py

34 lines
902 B
Python
Raw Normal View History

2023-04-06 22:55:24 +02:00
from os import listdir, path
2023-04-07 18:14:15 +02:00
def add_zeros(v: int, digits=3):
"""
return v as string, add leading zeros if len(str(v)) < digits
"""
s = str(v)
return '0' * (max(digits - len(s), 0)) + s
2023-04-06 22:55:24 +02:00
def get_next_filename(basename, directory=".", digits=3):
2023-04-07 18:14:15 +02:00
"""
get the next filename (without extenstion).
example:
basename = file
directory has file001, file002, file004
-> return file005
"""
2023-04-06 22:55:24 +02:00
files = listdir(directory)
files.sort()
files.reverse()
lowest_number = 0
for file in files:
if not path.isfile(file): continue
if not file.startswith(basename): continue
try:
number = int(file.split('.')[0].strip(basename))
if number < lowest_number: continue
2023-04-07 18:14:15 +02:00
lowest_number = number
2023-04-06 22:55:24 +02:00
except ValueError:
continue
2023-04-07 18:14:15 +02:00
return basename + add_zeros(lowest_number)