Eu tenho alguns mp4s bastante grandes produzidos pelo meu telefone. Como não são muito longos, provavelmente não estão muito compactados. O que é um exemplo de como usar uma ferramenta Linux de linha de comando para transcodificar uma delas para h.264 ou vp8 ou vp9, e como posso jogar com o trade-off de qualidade / compactação?
Eu sei que isso pode ser feito com o vlc. Mas me perco na documentação e não encontrei exemplos claros em minhas pesquisas na web.