WAV zu MP3 konvertieren ...

[Linuchs]

... habe ich mit dem Programm VLC versucht, hier die Beschreibung.

Bei mir funktioniert es nicht. Wenn ich so weit bin, die Zieldatei zu nennen, hole ich den Namen mit WAV, läßt sich aber nicht im MP3 ändern:

Beim Speichern soll tasächlich die WAV überschrieben werden.

Mache ich was falsch oder brauche ich ein anderes Programm unter Ubuntu?

Gruß, Linuchs