Android 制作开机动画的方法参考:linux开机动画制作教程
其中往往会把里面的png图片命名位XX_0001.png , 002.png……等
Window批量修改文件名时会带有空格和括号。
这里写了一个脚本,可以在批量修改文件名后,将文件名转换为XX_00001 格式:
#!/bin/bash
CUR_PATH=`pwd`
for file in ${CUR_PATH}/*
do
if [ -d "$file" ]
then
echo "$file is directory"
elif [ -f "$file" ]
then
echo "$file is file"
SHELL_NAME=${file##*/}
echo "SHELL_NAME ${SHELL_NAME}"
if [[ ${SHELL_NAME} != "rename.sh" ]];
then
DIFF_INDEX=${file%_*}
SN=${file#*(}
SN=${SN%%)*}
SN=`printf "%05d\n" $SN`
LENGTH=`echo ${#SN}`
echo SN "${SN}"
NEW_NAME=${DIFF_INDEX}_${SN}.png
echo "newName" $NEW_NAME
mv "${file}" ${NEW_NAME}
fi
fi
done