Как изменить несколько имен файлов в одном формате с помощью git на Windows 10?

Question

У меня есть сотни файлов с именем tutorial_xx.cpp, где xx - это число от 1 до 99. Я достиг трехзначной отметки, и теперь мне нужно изменить все номера файлов, чтобы я мог отслеживатьхронологический порядок.Я думал, что, если я смогу добавить 0 между tutorial_ и xx.cpp, я смог бы добиться этого, но, видимо, это не сработало:

git mv tutorial_*.cpp tutorial_0*.cpp

Возможно ли успешно сделать такоевещь в мерзавце?И если да, то как?

Answer 1

Если в git-bash, вы можете попробовать:

for name in tutorial_*.cpp;do
    git mv $name ${name/_/_0/}
done

Если у вас установлен Python, попробуйте:

python -c "import os;map(lambda x:os.rename(x,x.replace('_','_0',1)),filter(lambda x:'tutorial_' in x, os.listdir('.')))"