vá para a linha de comando ctrl
+ alt
+ t
, cd
no diretório em que o arquivo está contido:
cd /path/to/dir
Em seguida, use o comando unzip
para extrair o arquivo no diretório atual:
unzip file.zip
Você também pode descompactar um arquivo em um diretório de escolha usando o sinalizador '-d':
unzip file.zip -d /path/to/dir
Acredito que o unzip vem pré-instalado em 12.04, mas se não digitar o seguinte comando no terminal para instalar:
sudo apt-get install unzip
Espero que isso ajude e deixe-me saber se você precisar de algum esclarecimento.