下载个 7z 一样的
https://www.7-zip.org/download.html
7z x xxx.zip
zip / unzip 有些中文编码可能还会乱码，7z 不会。
然鹅 Linux 更多的时候是使用 tar with gz / xz /zstd，因为这些能保留 owner/group 信息：
https://man.archlinux.org/man/7z.1#Backup_and_limitations
作为代替，可以把 Makefile 的 submit 命令稍微修改一下：
submit:
python3 -c “import zipfile; import os; zipf = zipfile.ZipFile(‘$(shell whoami | cut -d- -f1 | sed -e ‘s/[0-9]*/&-lab6.zip/’)’, ‘w’, zipfile.ZIP_DEFLATED); [zipf.write(os.path.join(root, file), os.path.relpath(os.path.join(root, file), os.path.join(‘src’, ‘…’))) for root, _, files in os.walk(‘src’) for file in files]; zipf.close()”
这样不用 zip 也能得到和原本输出文件内容相同、格式和名称都相同的文件。
不过好像现在也交不了 orz…
1 Like
zip 已安装，思源学习平台上的提交通道已开放