Niente di speciale per oggi. Vediamo assieme come cambiare estensione o rinominare più file con un unico comando da prompt. Aprite la console di Windows oppure un terminale un "po'" più avanzato ( vd. Console e PowerCMD ). Supponiamo di avere una situazione del genere:
file1.doc
file2.doc
file3.doc
file10.doc
E vogliamo cambiare estensione a tutti i file, il comando che andremo a dare sarà:
rename file*.doc file*.est
Dove "est" sarà la nuova estensione che vogliamo affibbiare al file. Anche il comando "ren", abbreviazione di "rename" fa lo stesso lavoro. La stessa cosa vale se vogliamo rinominare il file e lasciare "intatta" l'estensione.
rename file*.doc newfile*.doc
Queste ovviamente sono funzionalità base, che sfruttano i caratteri speciali di Windows, * e ?, dove il primo identifica una qualsiasi stringa mentre il secondo un solo carattere. Per funzionalità di renaming più evolute bisognerà utilizzare appositi software o uno scriptino fatto in casa.
