Natuurlijk is daar iets voor. ffmpeg.
ffmpeg -i bestand.avi bestand.mp4
Dit zal de omzetting doorvoeren met standaard instellingen. Controleer het nieuwe bestand. De bestandsgrootte zal zeker al kleiner zijn. Als ook de kwaliteit OK is, dan kan je het eenvoudig bij de standaard instellingen hourden. Anders moet je die aanpassen via
commandolijnopties.
Lukt het, doe dan je ganse folder ineens als volgt. We gebruiken het commando "basename" om de extensie eraf te strippen.
for f in *.avi ; do ffmpeg -i "$f" "$(basename bestand.avi .avi)".mp4 ; done
Dit commando zal alle bestanden behandelen die aanwezig zijn in de huidige folder. Gebruik het commando "pwd" om te zien welke de huidige folder is. Gebruik het commando "cd" om naar een andere folder te gaan. Anders kan je ook een terminal openen vanuit de folder in bestandsbeheer met het rechtsklik menu: die terminal zal automatisch actief zijn in die folder.
Je kan ook alle mogelijke avi's overal op je harde schijf doen:
find ~ -name '*.avi' -execdir ffmpeg -i "$f" "$(basename bestand.avi .avi)".mp4 \;
Hierbij staat ~ voor je home folder. Het commando zoekt alle avi-bestanden in je home folder en in elke folder daaronder, en voor elk gevonden bestand wordt het commando uitgevoerd in de folder waar het bestand zich bevindt ("-execdir" in plaats van "-exec")