私のフォルダに.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そして最後にもう一度入れてください。
答え2
mogrifyバッチ変換を使用して、.png現在のディレクトリのすべての画像のサイズを変更できます。
mogrify -resize 25% -format jpg *.png
-format jpg元の画像を使用しているため.png影響を受けません
（format同じまたは欠落している場合は元の画像を上書きします）。