If you have a media file with an unknown extension type, then getting it to easily play in your favorite media player can be a frustrating experience. Should you convert the file or is there a better solution? Today’s SuperUser Q&A post helps a reader deal with a problematic media file.

Today’s Question & Answer session comes to us courtesy of SuperUser—a subdivision of Stack Exchange, a community-driven grouping of Q&A web sites.

The Question

SuperUser reader Henry wants to know how to convert an unknown media file type to mp3:

How do you convert an unknown media file type to mp3?

When I open it and attempt to choose VLC Media Player as the default program, the “Always choose this program to open this kind of file” check box is grayed out and I am unable to select it. I want to be able to set VLC Media Player as the default program for all the music files I have that are like this.

The Answer

SuperUser contributors AFH and Kamil Maciorowski have the answer for us. First up, AFH:

Followed by the answer from Kamil Maciorowski:

Go to Play-list Right-click on the problem file Click Information

The Codec Tab will tell you what type of media file it is, so you can close the program and add the appropriate extension to the file.

Do not convert the file! This will take time and degrade the quality. If you do not know what the appropriate extension should be, rename the file as FileName.vlc and associate the extension with VLC Media Player (any unused extension could be used, but this one is unlikely to be used by anything else on your system).

Have something to add to the explanation? Sound off in the comments. Want to read more answers from other tech-savvy Stack Exchange users? Check out the full discussion thread here.

If VLC Media Player can play this file, then it can likely convert it. There is Convert/Save entry in the File Menu (the actual entry may vary slightly depending on the UI language settings on your system). Add your file with the Add Button, then choose Convert from the drop down menu at the bottom. My installation of VLC Media Player has the mp3 profile right out of the box.