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.
