Convert, animate images in command line using function from image magick

gistfile1.txt

#Convert the format of one image
convert source.pgm target.png

#Convert all images format of one type into another
# e.g. png is the target format
# e.g. all pgm images starting with "source" are converted
mogrify -format png source*.pgm

#Convert multiple images to one animated image
# e.g. takes all pgm images in the folder to create one animated gif. Verify that the images are numbered in ascending order. 
# e.g. sample01.pgm, sample02.pgm, .... (not: sample9.pgm, sample10.pgm)
convert -delay 120 -loop 0 *.pgm animated.gif