When was the last time you had to create a zip file ... we're going to zip and unzip a file on Linux. I'll show you first how to do it from the command line and then using the GNOME File Manager ...