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.
Whenever you want to force the output from the Wget command into a specific filename, you just need to use the -O argument (that’s a capital letter o), or the longer version, --output-document=FILE that is a lot of extra typing for no reason.
So to force PHP to download as a specific filename, you would use something like this:
wget -O php-5.5.14.tar.gz http://us.php.net/get/php-5.5.14.tar.gz/from/this/mirror
That line would save the resulting download file from the mirror link to the filename php-5.5.14.tar.gz. You would change the version number for a different version, right? Yes, you would, because that isn’t even the latest version as of this moment.
Think you know the answer? Click through to see if you're right!
Apple’s phone, tablet, and computer-tracking tools are the best in the business. You can remotely locate your device, disable it with a lock and message that persists through factory resets — the so-called “kill switch” — and wipe it.
Earlier this year we shared a wonderful collection of Rustic Barns wallpapers with you, and today, we are back with more. Journey through the countryside once again on your desktop with the second in our series of Rustic Barns Wallpaper collections.
Think you know the answer? Click through to see if you're right!
We’ve arrived at the end of our series and it’s a fitting time to draw back the curtain one last time to see that the desktop is pretty much as you left it in Windows 7. That’s a good thing, and it’s kind of disappointing. On the one hand, the desktop is reliable and staid, on the other, it and the
Searching for a singular file or file type is one thing, but what do you do when you need to search for multiple file types at the same time? Today’s SuperUser Q&A post comes to the rescue for one reader’s file search dilemma.
Think you know the answer? Click through to see if you're right!
When Windows 8 was released, users were left confused and wanting for ways to control their devices. Actual guides to how to access the Control Panel were written and, even today, if you’re an established Windows user, the jump to Windows 8 can feel a little disorienting at first.
Think you know the answer? Click through to see if you're right!
There is nothing quite like finding the perfect resource guide for your favorite Windows system, office suite, or other Windows-based utilities. With that in mind, the links for a massive collection of 130 free Microsoft books, resource guides, and step-by-steps have been gathered into one place for
