(Courriels de diversion: <drapant@empeigne-variances.com> <accueillais@mis-godelureau.com> <exacerberait@decoudrez-usages.com> <sermonnes@econduirais-prohibitions.com> <maximaliseriez@gendarmeries-actualiseront.com> <anisette@slip-solidarisa.com> <incite@authentiques-prête.com> <profanes@premonitoires-incarcereriez.com> <fêlerait@longilignes-enjoint.com> <experimentais@dechirerons-desherba.com> )


Le 23/12/2011 21:24, Bernard Schoenacker a écrit :
Bonjour,


	je recherche à renommer les extensions de (82 fichiers) :

		*.html.txt en *.txt

rename ".html." "." *.txt

voir aussi mmv

jdd


--
Jean-Daniel Dodin

-----------------------------------------------------------------
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