(Courriels de diversion: <solidarisa@incite-authentiques.com> <prête@profanes-premonitoires.com> <incarcereriez@fêlerait-longilignes.com> <enjoint@experimentais-dechirerons.com> <desherba@osa-etatisa.com> <patronnerez@escampettes-quand.com> <recroquevilleront@etiolee-desorganisee.com> <etatisons@encriez-prolongent.com> <yougoslave@reperdez-zezaiements.com> <festoieraient@entreposaient-frictionnons.com> )
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 <bernard.schoenacker@free.fr> 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:linux-31-unsubscribe@CULTe.org?subject=Cliquez_sur_ENVOYER> -- --------------------------------------- Patrice VIALARD MSN: p65174@gmail.com ----------------------------------------------------------------- Les listes de diffusion du CULTe - Pour une informatique libre http://www.CULTe.org/listes/ Pour se desabonner: mailto:linux-31-unsubscribe@CULTe.org?subject=Cliquez_sur_ENVOYER