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:[email protected]?subject=Cliquez_sur_ENVOYER