I’ve got a file that I am trying to download via wget. The link can be found on this page:

The download link is:

As you can see, there is a php script that is accepting the `download_file` argument. How can I download the file via wget? I’ve tried the suggestions here and in many other places, but I cannot seem to find a viable solution. The above suggestions will indeed download a file with whatever name I give it after the `>` redirection, but it is just the index.html file in reality. Simply with a different name.

Any ideas?