ffmeg is your friend on linux. It needs a little figuring things out, but both resizing images and then converting them to videos is possible.
ref: https://askubuntu.com/questions/745732/converting-png-files-to-a-movie https://trac.ffmpeg.org/wiki/Slideshow https://trac.ffmpeg.org/wiki/Scaling On Tue, May 15, 2018 at 1:05 PM Scott, W Alan via ParaView < [email protected]> wrote: > A common workflow for ParaView is to write out animations as a flipbook – > i.e., write out movies as a series of .jpgs or .pngs. If a person wants to > post process these pictures into .avi’s or .mov’s, what tools do people > use? Further, can these tools deal with the case that .avi’s need X and Ys > that are mod 4 == 0, where the raw .png’s can be any X and Y? Does > ParaView need the optional ability to force .png’s or .jpg’s to be written > out mod 4 == 0? > _______________________________________________ > Powered by www.kitware.com > > Visit other Kitware open-source projects at > http://www.kitware.com/opensource/opensource.html > > Please keep messages on-topic and check the ParaView Wiki at: > http://paraview.org/Wiki/ParaView > > Search the list archives at: http://markmail.org/search/?q=ParaView > > Follow this link to subscribe/unsubscribe: > https://public.kitware.com/mailman/listinfo/paraview >
_______________________________________________ Powered by www.kitware.com Visit other Kitware open-source projects at http://www.kitware.com/opensource/opensource.html Please keep messages on-topic and check the ParaView Wiki at: http://paraview.org/Wiki/ParaView Search the list archives at: http://markmail.org/search/?q=ParaView Follow this link to subscribe/unsubscribe: https://public.kitware.com/mailman/listinfo/paraview
