Ciao a tutti ragassuoli!
Non so se vi ricordate il mio progettolo con i raspberry, comunque ho il piacere di informarvi che finalmente è stato aggiornato il firmware e quindi i video tramite html5 non mandano più in pappa il sistema  :asdrule:

a questo punto, però, ho la necessità di convertire i video in un formato html5 compatibile (quindi mp4).

Ho un video di esempio che funziona correttamente, quindi mi serve un software che da cli mi permetta di estrapolare tutte le informazioni riguardo ai vari codec di questo video, e poi fare uno script che mi permetta di convertire i vari video che ricevo nello stesso formato dell'esempio.

Mi consigliate un software adeguato? vado di ffmpeg?

ffmpeg è la scelta migliore.

Altrimenti prova HandbrakeCLI, ma penso ffmpeg sia più snello.