Come posso transcodificare / comprimere i file sorgente mp4 dalla riga di comando di Linux?

Ho alcuni mp4 piuttosto grandi prodotti dal mio telefono. Non sono molto lunghi, quindi probabilmente non sono molto compressi. Qual è un esempio dell'uso di uno strumento Linux da riga di comando per transcodificare uno di questi in h.264 o vp8 o vp9 e come posso giocare con il compromesso qualità / compressione?

So che può essere fatto con vlc. Mi perdo nella documentazione e non ho trovato esempi chiari nelle mie ricerche sul web.

Ad esempio con avconv

avconv -i inputfile.avi -c:v libx264 outputfile.mp4  # to change video coding

avconv -i InFile.avi  -ss 00:12:34 -t 00:02:45.6 -c:v copy -c:a mp3  Out.avi  

Con il primo si modifica solo la codifica video, con il secondo si modifica solo la codifica audio (e si estrae un pezzo di 2m45.6s a partire da 12m34s ...).

È necessario aver installato la libreria di codificatori che si desidera utilizzare.