InicioLinuxCambiar con Bash extensión de archivos de forma masiva

Cambiar con Bash extensión de archivos de forma masiva

Linux12/23/2010

dijo:

#! /bin/sh


####
# Script para cambiar extensiones de ficheros o archivos
# Noviembre 2010
####


ext1=$1 # Argumento ext1 es la extensión inicial
ext2=$2 # Argumento ext2 es la extensión final

RUTA=$(/bin/pwd)

for i in *
do
if [ -f "$RUTA/$i" ]; then
arg=${i%%.$ext1}
if [ ! -f "$RUTA/$arg" ]; then
arg1=${arg#$i}
mv "$RUTA/$arg1.$ext1" "$RUTA/$arg1.$ext2"
fi
else
echo "$i" > /dev/null
fi
done


exit 0



El script lo llamé chext y lo copié en la ruta /usr/local/bin con sus respectivos privilegios de ejecución para que todos los usuarios que usen el sistema puedan ejecutar el programa, antes de usarlo se debe ubicar el cursor dentro del directorio donde están todos los archivos que se les modificará la extensión, se ejecuta de la siguiente forma:
dijo:

$ chext html php



Donde html es la extensión actual de los archivos y php es la extensión que quiero dejarle a los archivos.

Saludos.
Datos archivados del Taringa! original
6puntos
0visitas
0comentarios
Actividad nueva en Posteamelo
0puntos
1visitas
0comentarios
Dar puntos:

Dejá tu comentario

0/2000

Autor del Post

t
Usuario
Puntos0
Posts17
Ver perfil →
PosteameloArchivo Histórico de Taringa! (2004-2017). Preservando la inteligencia colectiva de la internet hispanohablante.

CONTACTO

18 de Septiembre 455, Casilla 52

Chillán, Región de Ñuble, Chile

Solo correo postal

© 2026 Posteamelo.com. No afiliado con Taringa! ni sus sucesores.

Contenido preservado con fines históricos y culturales.