png 확장자를 가진 gif/jpeg 파일을 찾아 png로 변환

png 확장자를 가진 gif/jpeg 파일을 찾아 png로 변환

첫 번째 명령은 png 확장자를 가진 jpeg/gif 파일을 찾아 나열합니다. 두 번째 명령은 파일을 png로 변환합니다.

  1. find . -type f -name "*.png" | xargs -L 1 -I{} file -i {} | grep -v 'image/png; charset=binary$'

  2. find . -name "*.jpg" -exec mogrify -format png {} \;

이 두 명령을 결합합니다.

답변1

find . -type f -name '*.png' -exec bash -c '[[ "$(file -bi {})" != "image/png; charset=binary" ]] && mogrify -format png {}' \;

이 명령은 png 확장자를 가진 일반 파일을 찾은 다음 mogrify -format pngMIME이 "image/png; charset=binary"와 일치하지 않으면 각 파일에서 실행됩니다.

관련 정보