Tecnología

Inicio

Cómo cambiar las extensiones de archivo con Bash

El GNU Bash 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 toma 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 programación language.You puede cambiar las extensiones de archivo en Bash moviendo el archivo desde su antiguo nombre para 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 Tipo "echo $ SHELL" sin comillas y presiona "Enter". Si el shell actual no es "golpe" tipo "golpe" sin las comillas para ejecutar el intérprete de comandos. Presione ENTRAR."

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

4 Cambie 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 denomina "reports.text" y debe ser nombrado tipo "reports.txt" "reports.txt reports.text mv" sin comillas y presiona "Enter". Su archivo ha cambiado de nombre.


Artículos relacionados