In our next Terminal tip, we’ll show you how to download files from the web. Of course it’s probably easier just to use the GUI of Safari, but using Terminal gives you additional stats like file size, ...