I have 10 wav-Files. I want to convert all of them into mp3-Files. I managed to to this for one single file (as described in How to convert media using VLC?), but I don't want to do this for every single file. Is there a way to convert all the 10 files at a single blow? I'm using windows 7.

All the files with the .wav extension in the specified folder "D:...\VLC_batch" are converted to mp3

The mp3 files are saved in the folder "converted" (which must already exist)

The wav files are pushed to the folder "trash" (which must already exist)

"ab=128" sets the bit rate. To convert with e.g. bit rate 256, replace it with "ab=256".

There ist still one bug: If the name of the wav-file contains a dot or comma, the name is truncated (and no extension is appended!). The file gets converted despite this. If anyone knows a solution feel free to edit my code.
Tested with Version 1.1.11. Newer versions may not work!