diff --git a/tools/build-ega-mp4.sh b/tools/build-ega-mp4.sh new file mode 100755 index 0000000..a069549 --- /dev/null +++ b/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