怎么修改文件名啊!

xbdzsmc

高手帮忙教教我怎么大批量的修改文件名啊,我现在的文件名是2007-12-20 15-40-19.txt这种格式, 而且这个时间并不连续,也就是说上一个文件的下一个并不一定是2007- 12-20 15-40-20.txt. 我需要把它们的名字改为1,2,3......这样排下去,我的文件有好几千个,不可能手动去改!
高手帮帮忙啊

yydsr0278

写一个SHELL脚本就可以实现！

wacs5

不知道下面的方法可行不？(最好先备份一份再试)
ls | sort -g | awk 'BEGIN{i=1} {print"mv ",$0,i++}' |bash -

[ 本帖最后由 wacs5 于 2007-12-24 22:29 编辑 ]

MMMIX

把后面的 '| bash -' 去掉执行下就清楚了。