Semplice!
Selezionate la cartella che contiene i file da rinominare, click destro + Shift e selezionare Apri finestra di comando qui, a questo punto avete aperto un terminale all'interno della vostra cartella, nel terminale immettete il seguente comando:
----------------------------------------------------------------
ren *.estensione file originale *.nuova estensione file
----------------------------------------------------------------
----------------------------------------------------------------
ren Parte nome da cambiare* Nuovo nome*
----------------------------------------------------------------
Esempio:
Pippo.jpg in Pippo.tif
ren *.jpg *.tif
Pippo.jpg in Topolino.jpg
ren Pippo* Topolino*
A questo punto tutti i file jpg vengono rinominati in tif e tutti i Pippo.jpg in Topolino.jpg