ランダムな名前の .jpg ファイルがたくさんあります。次のように名前を変更するbashスクリプトが必要です。
basename-0.jpg
basename-1.jpg
basename-2.jpg
.
.
.
.
basename-1000.jpg
私はこれを書きました:
n = 0;
for file in *.jpg ; do mv "${file}" basename"${n}".jpg; n+=1; done
しかし、上記の bash の問題は、ループでは n が文字列と見なされるため、n+1 は新しく移動したファイルの末尾に別の '1' を追加するだけです。あなたのヒントに感謝します。