Convert a WMA file into MP3

wma2mp3.py

#!/usr/bin/python
# This script converts a WMA file into a MP3 file.

# Requisites: mplayer e lame
# Disclaimer: it worked last time I checked, but it was a long time ago,
#             so I put it here just to reference. Use it at your own risk.

import os

list = os.listdir(".")
for f in list:
	file = f.strip();
        if file.endswith(".wma"):
	   print "converting",file
           new_file = file[:-3] + "mp3"
  	   command = "mplayer -ao pcm \"" + file + "\""
  	   os.system(command)
	   command = "lame -b 128 audiodump.wav \"" + new_file + "\"";
	   os.system(command)
	   command = "rm audiodump.wav"
	   os.system(command)
print "Finished. Bye, Bye"

Python 3 version, working as expected:

#!/usr/bin/python
# This script converts a WMA file into a MP3 file.

# Requisites: mplayer e lame
# Disclaimer: it worked last time I checked, but it was a long time ago,
#             so I put it here just to reference. Use it at your own risk.

import os

list = os.listdir(".")
for f in list:
    file = f.strip()
    if file.endswith(".wma"):
        print ("converting",file)
        new_file = file[:-3] + "mp3"
        command = "mplayer -ao pcm \"" + file + "\""
        os.system(command)
        command = "lame -b 128 audiodump.wav \"" + new_file + "\""
        os.system(command)
        command = "rm audiodump.wav"
        os.system(command)

print( "Finished. Bye, Bye")

You can install mplayer like that (MacOS only):

brew install mplayer