I am getting the source of a page as follows:
<? $txt = file_get_contents('http://stats.pingdom.com/file');
echo $txt; ?>
and printing it on the screen but to be honest I actually want to replace an existing html file with it every 1 min. (I will be opening the file every 1 min.)
How could I do this?
If you've learned to use file_get_contents() then consider his sister function file_put_contents()
$txt = file_get_contents('http://stats.pingdom.com/file');
file_put_contents('/path/to/my/file.html',$txt);
To run it every minute, look at something like cron (or its equivalent on your operating platform of choice)