在Ubuntu偶然发现.7z的压缩格式，一开始还以为是命名错误，发现不是那么回事，丢脸了。
Ubuntu下安装7zip
sudo apt-get install p7zip
然后归档管理器就支持.7z格式了。