A veces , puede que tenga que cambiar el nombre de la extensión de archivo de varios archivos con el fin de abrir a todos con un programa diferente. En el sistema operativo Linux , puede realizar esta tarea mediante el acceso a la terminal y con un solo comando . Usted no necesita saber cualquier lenguaje de programación , sólo cómo copiar y pegar unas pocas líneas de texto. Por lo tanto, no pierda el tiempo alterando cada archivo de forma individual , usted se sorprenderá de lo rápido que puede hacer el trabajo . Instrucciones
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.