I had to unzip a file on a clients server today. Unzipping it locally and then re-uploading it would have been a pain; the unzipped folder was about double the bits of the original ZIP file. Anyways, once terminal’d in,…