Web DB Press のファイル名を一括変換する高性能スクリプト

what

pdfの連番ファイル名を置換する

why

総集編1-102を買ってウハウハとタブレットに入れて読んでるがファイル名がvolNN.pdfとなっており、ゼロ詰めされてないのでソートしてウギャー

how

for file in webdb_vol??.pdf ; do
  if [[ ${file} =~ ^(.*vol)([0-9]+.pdf)$ ]]; then
    mv $file "${BASH_REMATCH[1]}0${BASH_REMATCH[2]}"
  fi
done

finally

• ソートしてウギャーからの卒業
• bashで正規表現
  • BASH_REMATCH[0]でマッチした全体が返る
• 正規表現とか全言語共通になってほしい