Как одновременно переименовать нумерованные файлы на «номер++»?
Доброго времени суток.
ОС: Windows 10.
Есть n-ое количество файлов(допустим, json), имена которые состоят из цифр-номеров. Допустим, хочу куда-то вставить еще один файл, например между 13.json и 14.json. В таком случае, новый файл будет 14.json, а старый 14-ый и все последующие файлы после него должны быть переименованы в старый номер + 1. В batch`e вообще не шарю, не подскажете как можно в командой строке, или через программу "Bulk Rename Utility" это реализовать?
Заранее спасибо.