Never mind, I solved my own problem. I was looking for something to convert my old WMA music files (left over from before I switched to Linux permanently) to a Linux format. After posting a question about it, I found a program called dir2ogg in my apt repositories. It works smoothly; you use it by typing dir2ogg [filename] in a terminal window.

The mods may want to move this to the Success Stories forum, if appropriate.

There's a variety of tools available to do that. Apt has this to say about dir2ogg:

So it's simply a script. Based on its dependencies it uses mplayer to do the work, which you could use without the script as well -- though I think there are some "convenient" things this script does, otherwise I don't see why it would need to exist at all. Another option would be ffmpeg,

provided that you have it and the required libraries installed (libmp3lame in this case).

Altough there are several ways to achieve the goal (convert wma to ogg, mp3 or something else) I still recommend that you re-rip the audio from the original source (you have it, don't you?), then encode it to the format you like -- at the same time you can get the track information from a CDDB server, if you're using CDs. You'll get much better sound quality and more importantly can tune the quality/file size to your liking than if you re-encoded a lossy format to another lossy format. If you've bought the trakcs (legally) from the internet, you obviously can't do this, but I assume you wouldn't have bought the music in wma format anyway.

Even if you did use the script you mentioned, check out what it holds inside: you can probably tune the settings if you like (bitrate etc.)