better EGA transcoding tool

tools/build-ega-mp4.sh

@@ -0,0 +1,34 @@
+#!/bin/bash
+
+set -eu
+
+source tools/fonctions.sh
+
+# retour aux vieilles pratiques : EGA 640x350
+# c'est une nouveauté du 18 octobre 2025
+
+SEQ="essai"
+if [ $# == 1 ] ; then
+	SEQ=$1
+fi
+echo "[$SEQ] going EGA" | tee -a WS/log
+
+debut=$(date +%s)
+for source in $(ls -1 frames/$SEQ/*.png)
+do
+	bname=$( basename $source )
+	destname="frames/EGA/$bname"
+	# echo $source "==>" $destname
+
+	convert	$source					\
+		-resize   '640x350!' 			\
+		-dither   none				\
+		-remap    datas/ega-colors.png		\
+		$destname
+
+done
+
+ff_encodage "EGA/" "ega-$SEQ.mp4"
+
+fin=$(date +%s)
+echo "$SEQ -> EGA" $(( fin-debut )) "secondes" >> WS/log

tools/build-gif89a.sh

@@ -16,10 +16,10 @@ GIF="t-$SEQ.gif"
 echo "seq $SEQ -> $GIF" | tee -a WS/log
 
 convert						\
-	-delay 10 -dither none			\
-	-resize 40%				\
-	-colorspace gray -normalize		\
-	-colors 14				\
+	-delay 8 -dither none			\
+	-resize '320x200!'			\
+	-normalize				\
+	-remap datas/ega-colors.png		\
 	frames/$SEQ/?[012]*[369].png		\
 	$GIF