It is quite simple to do and there are many GUI tools for it. However if you want to do it in a script, or simply prefer to use the command line like me, then to following works quite well.
If you have ffmpeg and all the common codecs installed then use the following:
bash$ ffmpeg -i input.flv -ac 2 -ar 44100 -ab 320 output.mp3obviously replacing input.flv and output.mp3 with your filenames.
If you don't have ffmpeg or any codecs installed then install them. Instructions are availible in the wiki for your distro.
I recommend you read your distro's wiki before installing codecs as there are legal issues in some countries.
Ubuntu = (You may need to enable the medibuntu repository: https://help.ubuntu.com/community/Medibuntu )
then use:
bash$ sudo apt-get install ubuntu-restricted-extras ffmpegArch =
bash$ pacman -S gstreamer0.10-{base,good,bad,ugly}-plugins gstreamer0.10-ffmpeg ffmpeg