grazie del supporto

ma purtroppo non funge

Codice PHP:
<?php

$url = "http://www.sito.it/file.txt"; // url del file da copiare 
$destinazione = "file_q/"; // percorso del file sul tuo server 

//file_q si trova sulla stessa directory del file php appena creato 

$nome_file="file.txt"; /* questo mi dovrebbe tirare fuori il nome del file in questo caso file.txt
ma non so come fare */

// copy($url,$destinazione); // questa funzione mi da errore

$moved = move_uploaded_file($url, $destinazione.$nome_file); 

if( $moved ) {
  echo "Successfully uploaded";         
} else {
  echo "Not uploaded";
}

?>
quindi a quanto ho capito mi servirebbe popolare la variabile $nome_file con il nome esatto del file dalla $url

grazie