ディレクトリ内のファイル名を一気に変更(zsh)
あるディレクトリ内にあるファイルのファイル名を整理したい時に，ディレクトリ内にファイルが多数ある場合など，一つ一つやっていたらとてもめんどくさい…．
こういうときはシェル(zsh)で書き換えると楽です．
% i=1000
% for j in *.jpg;do
for> mv $j F$i.jpg
for> i=$[$i + 1] … (a)
for> done
bash の場合 (a) の部分を i=`expr $i + 1` とします．
これでディレクトリ内のバラバラなファイルは整理されます．
% ls
F1000.JPG* F1006.JPG* F1012.JPG* F1018.JPG*
F1001.JPG* F1007.JPG* F1013.JPG* F1019.JPG*
F1002.JPG* F1008.JPG* F1014.JPG* F1020.JPG*
F1003.JPG* F1009.JPG* F1015.JPG* F1021.JPG*
F1004.JPG* F1010.JPG* F1016.JPG* F1022.JPG*
F1005.JPG* F1011.JPG* F1017.JPG*
