Cambiare nome ai file

[resimone]

Salve a tutti, ho una valanga di file immagine che devo inserire in un sito. Peccato che i file hanno tutti nomi numerici ai quali devo anteporre degli 0 (zero) per arrivare ad almeno 6 caratteri... Qualcuno riesce ad indicarmi uno script per fare tutto ciò in automatico?

Ho cercato un po' dovunque senza successo, si trovano cose molto più complesse ma una cosa così banale no...uff... :lol:

[novel]

Originally posted by resimone

Salve a tutti, ho una valanga di file immagine che devo inserire in un sito. Peccato che i file hanno tutti nomi numerici ai quali devo anteporre degli 0 (zero) per arrivare ad almeno 6 caratteri... Qualcuno riesce ad indicarmi uno script per fare tutto ciò in automatico?

Ho cercato un po' dovunque senza successo, si trovano cose molto più complesse ma una cosa così banale no...uff... :lol:

ciao, hai provato Rename?

[resimone]

Ciao, grazie mille per la tua risposta.

Purtroppo r-name non mi fa il controllo sul numero delle cifre.

Siccome a volte il codice può essere 123, 1234 o 12345 il risultato deve essere 000123, 001234, 012345.

La ricerca continua... :wink:

[bruno]

Io utilizzavo un tool di FileBuddy:

http://www.skytag.com/filebuddy/

[resimone]

A meno che io non sia completamente rintronato (opzione non escludibile a priori) non vedo la possibilità di fare un controllo sul numero di caratteri che compongono il nome.... The search goes on...

Grazie comunque per la segnalazione