【メモ】bashで任意のファイル名を連番に変換

bashで任意のファイル名を連番に変換

jpegファイルからffmpegを用いてavi,mpg等を作成するためには、欠番のない 1 から始まる連番のファイル名である必要がある。

複数個ある

X*.jpeg （*は任意）

という一連のファイルを

X0001.jpeg
X0002.jpeg
...

という連番のファイル名に変更したい場合、以下のようなスクリプトで解決できる。

#!/bin/bash
a=0
for i in X*.jpeg; do
let a="${a}+1"
s=$(printf "X%04d.jpeg" $a)
echo $s
cp $i $s
done