Descobri que também precisava instalar o xarchiver :
sudo apt-get install p7zip xarchiver
Em seguida, execute xarchiver (deve estar no menu Acessórios) e o 7zip será um formato disponível.
Eu instalei o 7Zip pela web, mas não consegui encontrá-lo no menu nem em nenhum outro lugar. O que há de errado?
Cumprimenta Tom
Descobri que também precisava instalar o xarchiver :
sudo apt-get install p7zip xarchiver
Em seguida, execute xarchiver (deve estar no menu Acessórios) e o 7zip será um formato disponível.