Salut
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 !
[Si les messages sont en anglais c'est pas habitude...]
Citation:
#!/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
Flux RSS 
Connexion
M’enregistrer
FAQ
Rechercher
