1
Abra la terminal de Linux . A pesar de todas las distribuciones de Linux es un poco diferente , por lo general puede acceder a la terminal , seleccione " Menú Principal " y luego " Herramientas del sistema ".
2
Escriba " $ ls" en la terminal a la lista de la contenidos del directorio actual. A continuación, escriba " carpeta $ cd ", donde " directorio" es el nombre del directorio que contiene los varios archivos de los que desea cambiar las extensiones.
3
Type " o viejo en formato *. wma , hacer cp viejo ` basename $ $ antigua ` mp3 wma , . . hecho " donde" wma " es la extensión de archivo actual y" mp3 " es la extensión a la que desea cambiar
4 . . .
pulse la tecla " Return" , y el bucle de código localizar y cambiar cada una de las extensiones de los archivos especificados.