Vamos a usar el programa unzip, que se encuentra en el paquete del mismo nombre.
Arrancamos un terminal, nos colocamos en el directorio donde hemos descargado el archivo (en este ejemplo, introduccion.zip) y escribimos la orden correspondiente.
Se produce la descompresión, que no suele tardar mucho. Comprobamos que tenemos el archivo PDF descomprimido, que en este ejemplo será introducción.pdf.
En ese momento el archivo comprimido zip ya no es necesario y se puede eliminar.
