Eu acho que você deve fazer isso com o ffmpeg .
Para instalar, digite estas linhas no terminal:
sudo apt-get install ffmpeg
agora você tem o ffmpeg instalado, você pode converter webm para mp4 com este comando: ffmpeg -i your_input_filename.webm your_outfile_name.mp4
Digamos que você tenha seu arquivo sample.webm na sua pasta de downloads e que deseja gerar a saída para a mesma pasta. Você executa este comando:ffmpeg -i ~/Downloads/sample.webm -qscale 0 ~/Downloads/sample.mp4
Se você não quiser digitar esse comando longo todas as vezes em seu terminal, poderá criar uma pequena função bash para fazer isso por você.
no tipo de terminal, nano ~/.bashrc
role para baixo e insira:
webmTOmp4 () {
ffmpeg -i "$1".webm -qscale 0 "$1".mp4
}
mp4TOmp3 () {
ffmpeg -i "$1".mp4 "$1".mp3
}
Agora você pode fazer: mp4TOmp3 GENUINE\ -\ Thleilaxu-k8hrEbXURzg
e o script converterá e salvará seu novo arquivo com o mesmo nome na mesma pasta.