pngXXXX라는 이름의 파일이 여러 개 있습니다 aoa19.5Pressure.XXX.png. 여기서 XXXX는 4자리 숫자입니다. 이름에 숫자가 연속되어 있습니다. 이것을 gif로 변환하고 싶습니다. 내가 달릴 때
convert aoa19.5Pressure.* aoa19.5Pressure.gif,
내 컴퓨터에서 gif를 생성하는 데 시간이 오래 걸립니다. 필요한 것보다 더 많은 이미지가 있습니다. 100개의 png 파일만 사용하여 png이러한 파일을 gif애니메이션 으로 변환할 수 있는 방법이 있습니까 gif?
답변1
숫자가 연속된 경우 다음을 사용하세요.
convert aoa19.5Pressure.*00.png aoa19.5Pressure.gif
이는 이미지로 끝나는 모든 숫자 00, 즉 100개의 이미지마다 사용됩니다.
답변2
보다 일반적인 해결 방법은 필터링하려는 와일드카드를 괄호로 묶는 것입니다.
예 1: 짝수 프레임만 가져오기:
convert *[02468].png output.gif
동일한 작업을 수행하는 또 다른 방법은 변환하기 전에 홀수 프레임을 모두 제거하는 것입니다(이는 저장 공간을 복잡하게 만들지 않으려는 경우 유용합니다).
rm *[13579].png
후속 조치 :
convert *.png output.gif
예제 2: 물론 더 자주 샘플링하려는 경우 원래 예제를 수정할 수 있습니다. 다음을 사용하여 5의 배수로 필터링할 수 있습니다.
convert *[05].png output.gif