|
发表于 2004-12-21 12:01:47
|
显示全部楼层
要看你想改成什么样子了,你是想改扩展名还是其他呢?
如果是扩展名可以试一下这个。
#!/bin/bash
dir= #the directory you want change the file name in
for file in $dir/*
do
if [ -f $file ]
then
mv $file $file.bak #here .bak means backup,you can change it
fi
done
也许可以用一个命令实现的,我还没有想,主要我也是一个初学LINUX者,呵呵,你试一下吧。 |
|