Changer l'extension d'un fichier

[Pierre]

Immae a écrit :
> cd [le dossier qui contient les wma]
> for i in * do; mv "$i" "`echo $i | sed -e 's/\.asf$/\.wma/'`"; done
>
>   
Dois-je taper cette commande dans un terminal ou un fichier de commande.

J'ai par le passé beaucoup manipulé le DOS 5 de microsoft, mais j'avais un bouquin épais comme une bible, largement documenté.

Avec Linux je me trouve un peu largué. Toute les lignes de programmes que je vois passer dans les messages des uns et des autres ne me disent absolument rien. Existe-t-il un document qui regrouperait l'ensemble des commandes pour apprendre et comprendre ce langage.