Comment puis-je renommer l'extension pour un tas de fichiers?

Dans un répertoire, j'ai un tas de *.html fichiers. Je voudrais renommer tous à *.txt

Comment puis-je le faire? J'utilise le shell bash.

InformationsquelleAutor bmw0128 | 2009-08-03