批量更改文件名

文件夹下面有0201.gif 0202.gif 0203.gif
将这些文件统一改为image001.gif image002.gif image003.gif
其中0201.gif 对应image001.gif 0202.gif 对应image002.gif,后面依次类推。

当有大量如此文件时，可以使用如下语句来完成
for  i in `ls` ; do echo $i;mv $i `echo $i | awk '{print "image00"substr($0,4)}'`; done;