#1 Le 18/07/2006, à 13:55
- Compte anonymisé
Renommer les fichiers d'un dossier [résolu]
Est-ce que quelqu'un connaîtrait un soft pour automatiser ça?
Dernière modification par Compte anonymisé (Le 19/07/2006, à 16:03)
#2 Le 18/07/2006, à 15:01
- kaworu
Re : Renommer les fichiers d'un dossier [résolu]
bash ?
for fichier in $DOSSIER; do
mv $fichier $NOUVEAU_NOM_DE_TON_FICHIER
après il suffit de définir $DOSSIER et $NOUVEAU_NOM_DE_TON_FICHIER avec (au bol) un ptit script sed.
c'est juste ?
"There are in order of increasing severity: lies, damn lies, statistics, and computer benchmarks."
Hors ligne
#3 Le 18/07/2006, à 15:04
- Black_pignouf
Re : Renommer les fichiers d'un dossier [résolu]
krename me semble tout indiqué pour ce que tu veux faire
Hors ligne