Audacity Forum

Hmm... I didn't find it the first time. I can export as MP3 using the menu, but all things considered, I prefer the command line approach even though it's a couple of extra steps because you get more detailed statistics.

Thanks for pointing it out to me.

No option to export as MP3. I used the command line to convert the file, but it would have been nice to have the plugin in Audacity.

According to the 2.0.6 manual (what a search!), you go to edit - preferences and then choose library from the list on the left. Unfortunately, library is not on the list. So I am stuck. No other related option was found for each menu item listed in preferences, nor could I find anything related anyw...