ファイルグループの名前を変更する方法
tl_0014_0010_20151212_133443.jpg
tl_0014_0010_20151212_133543.jpg
tl_0014_0010_20151212_133643.jpg
...
到着
photo00000.jpg
photo00001.jpg
photo00002.jpg
...
？
ベストアンサー1
始めるには：
i=0
for file in tl*.jpg
do
printf -v counter "%05d" $i
mv $file photo$counter.jpg
i=$((i+1))
done
printf コマンドは、カウンタの前にゼロがあることを確認します。
私はこれをテストしていません。