Estou no ubuntu e quero converter um vídeo mp4 em um arquivo de áudio mp3, mas não consigo descobrir como. Eu tentei instalar o ffmpeg, mas ele não conseguiu codificar o mp3. Eu li o gstreamer, mas não consigo descobrir como. Eu tenho o gstreamer e o python instalados. Eu posso programar com python, mas não estou super confortável em compilar software a partir da fonte ou de qualquer coisa de linha de comando de nível superior. Eu sei apenas o básico na linha de comando.