I find the command line documentation a little overwhelming, given that I know almost nothing about codecs and the like...
So the following is exactly what I'm doing in VLC (1.1.11) and it would be great to know what the exact command line equivalent of this would be:
- in Media -> Convert/Save
- add a file and click on Convert/Save
- add the name of the destination file
- in Settings -> Profile
- select "Audio - MP3"
- click Start