haruaki64

public function getExtensionFromMIME ($mime) {
    switch ($mime) {
        case "image/gif":
            $ret = ".gif";
            break;
        case "image/jpeg":
            $ret = ".jpg";
            break;
        case "image/png":
            $ret = ".png";

haruaki64

# option:
#   -a  -> -rlptgoDと同義
#      -r ディレクトリを再帰的にコピー
#      -l シンボリックリンクをdestで作り直す
#      -p パーミッションを維持
#      -t 修正時間情報を維持
#      -g 所有グループを維持
#      -o 所有者を維持
#      -D デバイスファイルとスペシャルファイルを維持
#   -v  -> ファイル名を標準出力

haruaki64

# source: 元画像のパス
# dest: 変更された画像のパス
# sourceとdestは一緒でも大丈夫（上書きされる）
# たぶんsourceとdestで拡張子違っても大丈夫

$ convert -resize 500x500^ -gravity center -crop 500x500+0+0 +repage source dest