Simplemente hago clic con el botón derecho y elijo la opción "Comprimir". Luego elijo el nombre del archivo final y la extensión (zip, rar, 7z, tar.gz, etc.). La opción 7z que es la que más y mejor comprime.