Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- #Script to use ImageMagick to batch convert images to gif
- #set command line parameters
- species=$1
- alpha=$2
- loop_length=$3
- tpulse=$4
- num_img=$5
- f_ext=$6
- #set convert parameters
- REPEAT=0 #set to zero for infinitely repeating loop
- DELTA=40 #amount of separation between frames in a hundredth of a second
- #set first part of string
- s1="ebtel2fl_L${loop_length}_tpulse${tpulse}_alpha${alpha}_${species}_heating_"
- s2="_dem.eps"
- #Run ImageMagick convert
- convert -delay $DELTA $(for i in `seq 0 $((num_img - 1))`; do echo $f_ext$s1$i$s2; done) -loop $REPEAT $f_ext$s1".gif"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement