#!/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