Есть ли в Python встроенные функции для добавления числа к имени файла, если оно уже существует?
Моя идея заключается в том, что он будет работать так, как работает определенная ОС - если файл выводится в каталог, где файл с таким именем уже существует, он добавляет число или увеличивает его.
Т.е.: если файл "file.pdf" существует, он создаст файл "file2.pdf", а в следующий раз "file3.pdf".