diff --git a/tools/build-gif89a.sh b/tools/build-gif89a.sh new file mode 100755 index 0000000..486af93 --- /dev/null +++ b/tools/build-gif89a.sh @@ -0,0 +1,26 @@ +#!/bin/bash + +set -eu + +# retour aux vieilles pratiques : la Gif animée. +# c'est une nouveauté du 18 octobre 2025 + +SEQ="essai" + +if [ $# == 1 ] ; then + SEQ=$1 +fi + +GIF="t-$SEQ.gif" + +echo "seq $SEQ -> $GIF" | tee -a WS/log + +convert \ + -delay 10 -dither none \ + -resize 40% \ + -colorspace gray -equalize \ + -colors 15 \ + frames/$SEQ/?[012]*[369].png \ + $GIF + +