How to Download PHP Source from the Terminal with Wget

Downloading files from the PHP mirrors is annoying, because by default the redirector makes the name of the filename change to just “mirror”. So how do you fix this? Luckily wget has a simple argument that you can use to fix it — and it is useful for many scenarios. via Pocket http://ift.tt/1AFMeVI