Il y a quelques temps, un contributeur du Ng avait posé la question du
remplacement de terminaisons de noms de fichiers (du genre : remplacer
*.doc par *.rtf).
Naivement, j'avais proposé un script du genre :
#!/bin/bash
for i in $(ls *.doc)
do mv $i $(echo $i|sed -e s/.doc/.rtf/)
done
et je m'étais fait fort justement reprendre de volée à la raison (entre
autres) que ce script ne marche pas si les noms de fichiers comportent des
espaces. Puis l'un des contributeurs avait proposé un script extrèmement
propre et concis que j'aimerais bien retrouver. Une recherche sur les
archives n'ayant rien donné, quelqu'un peut-il me rappeler comment
réaliser proprement cette tâche ?
Le 18.02.2006 12:30, *Jean-Marie Delapierre* a écrit fort à propos :
Bonjour,
Bonjour
Il y a quelques temps, un contributeur du Ng avait posé la question du remplacement de terminaisons de noms de fichiers (du genre : remplacer *.doc par *.rtf).
Modeste débutant, j'utilise simplement : rename .doc .rtf *.doc Pourquoi pas dans un script ?
Le 18.02.2006 12:30, *Jean-Marie Delapierre* a écrit fort à propos :
Bonjour,
Bonjour
Il y a quelques temps, un contributeur du Ng avait posé la question du
remplacement de terminaisons de noms de fichiers (du genre : remplacer
*.doc par *.rtf).
Modeste débutant, j'utilise simplement :
rename .doc .rtf *.doc
Pourquoi pas dans un script ?
Le 18.02.2006 12:30, *Jean-Marie Delapierre* a écrit fort à propos :
Bonjour,
Bonjour
Il y a quelques temps, un contributeur du Ng avait posé la question du remplacement de terminaisons de noms de fichiers (du genre : remplacer *.doc par *.rtf).
Modeste débutant, j'utilise simplement : rename .doc .rtf *.doc Pourquoi pas dans un script ?