Script Bash rename par LOT extension fichier

Salut :wink:

Il doit en exister d’autres autant que d’autres moyens.

Mais ce bash permet de renommer par LOT l’extension de tous les fichiers d’un Dossier ; tout en limitant autant que possible le risque du “clash de l’écrasement accidentel de fichier”.

Il n’est pas parfait mais semble faire l’affaire.

Merci à tous, plus particulièrement à Agentsteel pour sa base de Script Bash

ici on renomme les .JPG en .jpg
Mais on pourrait utiliser d’autres extensions… libre à vous ! :slightly_smiling:
[Si les messages sont en anglais c’est pas habitude…]

[quote]#!/bin/sh
NEWEXT=".jpg"
for FILNAM in *.JPG; do
if [ -e $FILNAM ]; then
NOEXT=${FILNAM%.JPG}
FDEST=$NOEXT$NEWEXT
if [ -e $FDEST ];
then
echo $FDEST File Already Exist
else
echo $FILNAM File have been Renamed to $FDEST
mv $FILNAM $FDEST
fi
else
echo no files AND no work…
fi
done[/quote]

“hello world”

Post carrément useless, merci la pollution.

C’est positif de vouloir share, moi personnellement I use ça : zsh-t36476.html#p367614

Merci à tous, plus particulièrement à Agentsteel pour sa base de Script Bash…