[linux] verkleinen mkv-file

[paai]

Laten we even aannemen dat ik niet eergister de Nobelprijs voor 
beeldverwerking heb ontvangen en dat ik dus een eenvoudige dorpsbewoner 
ben... Hoe verklein je in $GODsnaam een videobestand.

Natuurlijk heb ik een ochtendje doorgebracht op Google, en daar kun je 
allerlei gewaar worden over ffmpeg en de pakweg vijf miljoen options en 
variaties, maar iets doms als 'pak die video en halveer hem' schijnt 
niet tot de mogelijkheden te behoren.

Kan iemand me hierin een hint geven, of op het spoor van een script zetten?

Paai

-- 
Dr. J.J. Paijmans