Как превратить 0000 в 0001 и сохранить в текстовый файл, потом 0001 превратить 0002 и сохранить в текстовый файл, действие нужно повторять до тех пор, пока изначальное 0000 не превратиться в 9999?
file = open('<файл>', 'a') # на месте 'a' можно подставить 'w' или 'r+'
for i in range(0, 9999):
s = str(i)
if len(s) != 4:
s = '0' * (4 - len(s)) + s # если переменная s меньше 4 символов
file.write(s)
else:
file.close()
Не является ответом на вопрос, так как не решает поставленной задачи.
Коллега, в вопросе просят записать в файл. И конечно, жаль, что Yandex.Q не поддерживает форматирования кода python...