- Gif
One tool to help with the task is the ImageMagick.
If it is not already installed on a terminal use the following:
sudo apt-get install imagemagick
To convert a series of images to gif use the following command
convert -resize 60% -delay 50 -loop 0 TuleAnim.000{0..7}.png TuleAnim.gif
or if the folder contains only the png needed in the animation:
convert -resize 80% -delay 30 -loop 0 *.png TuleAnim.gif
The resize option will shrink the gif so it can take up less space.
the delay controls the animation speed. Larger values result in slower animation
As with all Linux commands convert –help will show all the available options.
- Movies
The process to make video is also very similar. There is a tool ffmpeg that can be install using:
sudo apt install ffmpeg
An example to convert a series of images into an mp4 movie is the following:
ffmpeg -framerate 6 -i WT_DP_2nd_pass.%04d.png -c:v libx264 -profile:v high -crf 20 -pix_fmt yuv420p output.mp4
I’ll spare the details as there is already a detail description in this link.
–