title: Resize GIF animation, pil/imagemagick, python
body: <p>I want to change size of GIF animation image using python and PIL or PythonMagick. I can't find solution. PIL and thumbnail method works for jpg and png but not for gif. ImageMagick has command mogrify/convert -resize '1280x1024>' but i can't find documentation and i don't know how to do it with pythonmagick.</p>
  
  <p>Anyone knows solution?</p>
  
  <p>In the worst case i use os/subprocess and convert ;-S</p>
  
  <p>Thanks.</p>