convert *.png -scale 75% -set filename:f '%t' '%[filename:f].png'