Rinominare estensione file via dos

mi è capitato su di un sito di parecchie pagine tutte html, di doverne cambiare in blocco l'estensione in .php

Ho trovato questa soluzione comoda via DOS:

si apre il pannello del cmd (start --> "esegui")

si naviga fino a raggiungere ogni singola cartella contenente file da rinominare

Ricordo per i niubbi come me alcuni comandi:

- Nome lettera seguita da ":" esempio D: cambia directory
- cd .. torna su di un livello
- cd nome directory entro nella directory

una volta dentro scrivere il comando: ren *.html *.php

per cambiare l'estensione.

Ed è fatta!

:-)