rinominare un file

[produ]

ciao!
dovrei rinominare un file con php.
Ho visto che questa riga di codice
$nome = $_FILES['miofile']['name'];

mi restituisce un file del tipo ciao.doc o ciao.gif etc.., mentre vorrei solo il nome del file "ciao" senza il formato, per poterlo rinominare.
O se avete qlke altro modo per rinominare un file va benissimo lo stesso.
grazie

[dottwatson]

semplicemente quando chimi la funzione move_uploaded_file() assegni il nuovo nome al file, sennò replichi il vecchio nome nel nuovo

[produ]

no, ma io voglio lo stesso nome, con formato che invece di essere doc, per esempio..è pdf..

[dottwatson]

ok

$nome = $_FILES['miofile']['name'];

$new_nome=basename($nome,'pdf').".doc"; 

[produ]

perfetto!!!
Grazie!..anche se a me serviva rinominare da doc a pdf,nel tuoc codice invece è da pdf a doc..comunque l'importante era capire qle metodo utilizzare..
ma non c'è qlke modo per togliere il vecchio formato e metterci il nuovo...senza stare a specificare quale sia il formato immesso dall'utente..?

[dottwatson]

certo. io ti ocreato una situazione statica.

se intendi verificare che estensione ha utilizzato l' utente puoi fare così

$nome="file.ext";
$blocks=explode(".",$nome);
$userfile_ext=$blocks[count($blocks-1)]; // restituisce ext

$new_file=basename($nome,$userfile_ext).".pdf"; 

se però cambiando l' estensione del file da doc a pdf, pensi che il documento sia già reso disponibile per AdobeReader, ti sbagli di grosso... l' estensione identifica il programma, che a sua volta si aspetta dei dati corretti da interpretare...

ma questa è un' altra storia

[produ]

ok grazie mille