exec('wget..) xml, filenamen ändern

[ChrisB]

Hi,

-O file
oder
--output-document=file

Hm, nee, moment - laut Beschreibung sind die nicht exakt dafür da, sondern machen noch mehr.

Doch doch. Die sind genau dafür da:

Liest sich aber anders:
“Use of -O is *not* intended to mean simply "use the name file instead of the one in the URL;" rather, it is analogous to shell redirection: wget -O file http://foo is intended to work like wget -O - http://foo > file; file will be truncated immediately, and *all* downloaded content will be written there.”

Kann man vielleicht im vorliegenden Fall trotzdem benutzen; man sollte sich aber über die eigentliche Bedeutung/Aufgabe im klaren bleiben.

MfG ChrisB