10_to_gif.sh 633 B

123456789101112131415161718192021
  1. #!/bin/bash
  2. res="$(cd "$(dirname $0)"; pwd;)/../res"
  3. t=$(mktemp -d);
  4. mkdir $t/1 $t/2 $t/3 $t/4
  5. echo "Working in $t";
  6. n=0;
  7. for i in $(ls *.png | sort); do
  8. convert $i -alpha remove +repage -crop 512x256+1120+626 +repage $t/1/$i;
  9. convert $t/1/$i -resize 250x125 $t/2/$i;
  10. composite -geometry +195+420 $t/2/$i $res/gpio_simple.png $t/3/$i
  11. composite -geometry +415+0 $res/wave_$((n%3+1)).png $t/3/$i $t/4/$i
  12. n=$(($n+1));
  13. done;
  14. convert -delay 100 -loop 0 -layers Optimize $t/4/*.png animation.gif
  15. # Open in GIMP
  16. # 1. Image>Mode>Indexed>Generate optimum palette
  17. # 2. Filters>Animation>Optimize (for GIF)
  18. # 3. File>Export As...