私のフォルダに.png画像がたくさんあります。すべて.jpgに変換し、同時に生成された.jpgファイルのサイズを元のサイズの25％に調整できるコマンド（またはソフトウェア）はありますか？
ベストアンサー1
使用convertコマンドは以下から来ます。イメージマジシャン:
convert x.png -resize 25% x.jpg
25％サイズのJPEGバージョンが作成されますx.png。
すべてのPNGファイルを一度に処理するには、forループを使用します。
for filename in *.png ; do convert "$filename" -resize 25% "${filename%.png}.jpg" ; done
一致する各ファイルを調べて、各ファイルに対して上記のコマンドを*.png実行します。convertそれぞれのファイル名を生成"${filename%.png}.jpg": 拡張子を削除します。.jpg.pngそして%.jpgそして最後にもう一度入れてください。