個人的Linux: ファイル名の一括変更にrenameコマンド
rename 変更前文字列 変更後文字列 filename
$ touch {1..9}.ini {10..13}.ini
// ソートすると残念なかんじに
$ ls -1
1.ini
10.ini
11.ini
12.ini
13.ini
2.ini
3.ini
4.ini
5.ini
6.ini
7.ini
8.ini
9.ini
// renameコマンドで桁数をあわせる
$ rename '' 0 ?.ini
$ ls -1
01.ini
02.ini
03.ini
04.ini
05.ini
06.ini
07.ini
08.ini
09.ini
10.ini
11.ini
12.ini
13.ini