bonsoir, Si tu utulises le shell bash : "for i in *.html.txt; do F=$(echo $i | sed s/\.html\.txt/\.txt/g); mv "$i" "$F"; done"
Je suppose que c'est faisable avec awk mais je suis faché avec :D Patrice. Le 23 décembre 2011 21:24, Bernard Schoenacker <[email protected]> a écrit : > Bonjour, > > > je recherche à renommer les extensions de (82 fichiers) : > > *.html.txt en *.txt > > et j'ai un trou de mémoire ... > > qui aurait un début de solution ? > > slt > bernard > > ----------------------------------------------------------------- > Les listes de diffusion du CULTe - Pour une informatique libre > http://www.CULTe.org/listes/ > Pour se desabonner: > mailto:[email protected]?subject=Cliquez_sur_ENVOYER > -- --------------------------------------- Patrice VIALARD MSN: [email protected] ----------------------------------------------------------------- Les listes de diffusion du CULTe - Pour une informatique libre http://www.CULTe.org/listes/ Pour se desabonner: mailto:[email protected]?subject=Cliquez_sur_ENVOYER
