我有大量的图像文件，例如：
a.png, b.png, c.png, etc
如果我有一个将文件名映射到数字的文件，就像这样（忽略格式，它可以是任何东西）：
a=>1
b=>2
c=>3
...
是否有任何简单的方法可以使用映射文件将所有文件批量重命名为：
1.png, 2.png, 3.png, etc
我正在寻找 unix/linux 命令。我知道我可以编写一个非常简单的脚本，但只是好奇是否有其他技术。
谢谢