(Courriels de diversion: <mis@godelureau-exacerberait.com> <decoudrez@usages-sermonnes.com> <econduirais@prohibitions-maximaliseriez.com> <gendarmeries@actualiseront-anisette.com> <slip@solidarisa-incite.com> <authentiques@prête-profanes.com> <premonitoires@incarcereriez-fêlerait.com> <longilignes@enjoint-experimentais.com> <dechirerons@desherba-osa.com> <etatisa@patronnerez-escampettes.com> )
Le 23/12/2011 21:24, Bernard Schoenacker a écrit :
> Bonjour,
>
>
> je recherche à renommer les extensions de (82 fichiers) :
>
> *.html.txt en *.txt
>
> et j'ai un trou de mémoire ...
Salut,
for i in *.html.txt; do mv -v "${i}" "${i//html./}"; done
>
> qui aurait un début de solution ?
>
> slt
> bernard
JP
-----------------------------------------------------------------
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