bmp2png

Linux

convertコマンドを使うと画像の拡大縮小やformatの変更ができる(他にもいろいろできるみたいだけど)。
bmpをpngにがしがし変換するスクリプトを作った。



#!/bin/bash
TOP_DIR=$1
FILE_LIST=`find $TOP_DIR -name "*.bmp" | sed "s/.bmp//g"`
declare -i num=0

for i in $FILE_LIST

do

  num+=1

done
declare -i j=0

for i in $FILE_LIST

do

  convert -sample 1600x1200 $i.bmp $i.png

  j+=1

  echo "$j/$num done."

done
bashでint型とかの変数を作るにはdeclareってのを使わないといけないんだとよ。めんどいね。JavaScriptとかだと勝手に判断してくれたような記憶があるけど。