Cómo cambiar las extensiones de archivo con Bash

The GNU Bash shell es un intérprete de línea de comandos para el sistema operativo GNU /Linux. " Bash " significa Bourne - Again Shell y es un juego de palabras basado en el nombre del creador de la shell de Unix "sh ", Stephen Bourne. Bash tiene comandos desde la línea de comandos y los ejecuta en el sistema operativo . Es capaz de tuberías de un comando a través de una serie de diferentes programas y la ejecución de comandos de archivos a través de su language.You programación puede cambiar las extensiones de archivo en Bash moviendo el archivo de su antiguo nombre a su nuevo nombre. Instrucciones
1

Abra el terminal de línea de comandos en el sistema operativo Linux o Unix . La ubicación del terminal varía entre todas las distribuciones .
2

Type " echo $ SHELL ", sin comillas y presiona " Enter". Si el shell actual no es " bash " " fiesta " tipo sin comillas para ejecutar el shell Bash . Pulse la tecla " Enter".

3 Navegue hasta el directorio que su archivo se encuentra en escribiendo " cd /ruta /al /archivo /", reemplazando " /ruta /a /la /presentar "con el directorio que contiene el archivo. A modo de ejemplo , si el archivo estaba en el directorio de inicio del usuario " BFC ", escribe " cd /home /bfc . "
4

cambiar la extensión del archivo con el comando " mv " . Debe escribir el comando en el formato de " mv oldname.ext newname.ext ", por lo que si el archivo se llama " reports.text " y debe tener el nombre de tipo " reports.txt " " mv reports.text reports.txt " sin comillas y presiona " Enter". El archivo ha cambiado de nombre .