
공통점이 하나도 없고 이름만 다른 수백 개의 이미지 파일(.jpg)이 있습니다. 예: 12223.jpg, beautiful-ocean.jpg, aWkqi.jpg. 1.jpg, 2.jpg, 3.jpg...와 같이 일련의 이름을 모두 바꾸려면 어떻게 해야 합니까?
답변1
다음과 같이 파일 이름을 001.jpg
, 002.jpg
, ... 로 바꿀 수 있습니다 .999.jpg
bash
declare -i num=1
for file in *.jpg ; do
printf -v newname "%03d.jpg" $num
num=$(( num + 1 ))
echo mv "$file" "$newname"
done
생성된 결과에 만족하면 " echo mv
"을(를) " "로 변경합니다.mv