拡張子って奥が深いと改めて実感したよ

“これでいけるはずなのに！！上手くいかない！！”

そう思ったことはありませんか？

今回は拡張子についてのお話をゆるくお話ししたいと思います。

同じだけど同じではない

画像の拡張子に注目してください。

同じjpgなんです。

だけど、同じではないんです。

大文字と小文字のjpgで上手くいかない場面に直面したりします。。

ローカル環境では動くのに、サーバにアップしたら画像が認識しないこともあったり、なかったり、、

拡張子を変更しなければいけない画像が多いほどなかなかめんどくさいっ

拡張子変えるのって正直めんどくさいんですよね。

簡単に変更できたらどんだけ楽なんだろうとふと思いました。

やり方をさくっと説明しますー！

1.画像を格納しているフォルダの中に.txtファイルを作成します。

2.　ren *.JPG *.jpg　を入力し、拡張子を .txt　から .bat に変更します。

3.　完成です。

こんな感じで.bat が出来上がります。

.batをクリックしたらすべての画像が小文字の.jpgに置換されます。

How do I change .JPG to .jpg file extensions?　英語で知りたい方はこちらからどうぞ。

知ってたら意外と便利かも？