Modificare file sul server

[omda71]

Dovrei cambiare utilizzando uno script php il nome ad un file (gif,jog o png) che è in una cartella 'immagini' sul server.

Mi date qualche idea?

Grazie - ciao

[emerson74]

non so se e non credo che --> esista una funzione per rinominare un file, però, se nessuno ti da una risposta migliore, puoi tentare questo trucchetto:

lo copi con il nome che ti interessa (nome con cui l'avresti rinominato) poi cancelli quello doppio (con il nome vecchio) che non ti interessa più tenere

[marketto]

Originariamente inviato da emerson74
non so se e non credo che --> esista una funzione per rinominare un file, però, se nessuno ti da una risposta migliore,...

http://it.php.net/rename

[omda71]

Grazie a tutti!