How to download file from a different server

I suppose CURL is up for a job

[genem]

Hi,
At work, I'm not allowed to download media files. I'm thinking of making a script on my hosting account that would download and rename the file for me, which i can then safely download.

How do I go about this? From my knowledge, I need to CURL, right? One other thing: my host's max_execution_time setting is only 30 sec.

Thanks for your ideas.

[ahmedtheking]

Yeah curl'll do it:

curl -O [yoursite.tld...]

[mcavic]

From the command line, curl or wget, and they aren't associated with PHP, so there's no max execution time.

From PHP, libcurl is powerful, and you might be able to use set_time_limit() to override your host's default.

[genem]

Thanks, guys:-).
I a unix newb. How can I use curl in command line?

I'd like to clarify: When libcurl envokes curl, does it envoke it an independent curl unix process or does it run under php (i.e. constrained by the max_execution_time limit, for example)?

[ahmedtheking]

curl -O [yoursite.tld...]

[genem]

Thanks, Ahmed, it worked!