扩展名为 div.gz 的文件(错误?)

扩展名为 div.gz 的文件(错误?)

我尝试从 Arxiv 下载压缩文件夹(https://arxiv.org/format/math/0606086在 DVI 下)

但它下载为 div.gz。我知道这是 TeX 输出。我尝试了 TeX 和各种解压应用程序,但都不起作用。我什至尝试重命名它,以防万一出现错误。有什么建议么?如果这不是正确的地方,请随时删除它。

答案1

file命令可用于根据文件内容识别文件格式。

我点击了 Firefox 中的“下载 DVI”按钮,得到了一个0606086没有扩展名的文件。

$ file 0606086
0606086: TeX DVI file (TeX output 2021.09.21:0203\213)

然后我运行dvipdf它并得到了一个可读的 PDF 文档:

$ dvipdf 0606086
$ ls -l 0606086*
-rw-r--r-- 1 username username  81088 Sep 21 07:31 0606086
-rw-r--r-- 1 username username 177281 Sep 21 07:32 0606086.pdf

我的 KDE 桌面环境上的查看器okular也可以直接显示该文件,而无需显式地将其转换为 PDF。

Firefox 报告的下载 URL 是这样的,https://arxiv.org/dvi/math/0606086?所以我决定看一下该网站报告的 HTTP 标头:

$ curl --head https://arxiv.org/dvi/math/0606086?
HTTP/1.1 200 OK
Date: Tue, 21 Sep 2021 04:39:33 GMT
Server: Apache
Strict-Transport-Security: max-age=31536000
Set-Cookie: browser=89.27.98.38.1632199174381535; path=/; max-age=946080000; domain=.arxiv.org
Last-Modified: Tue, 21 Sep 2021 02:03:27 GMT
ETag: "16c691a8-5cb5-5cc77cdb51712"
Accept-Ranges: bytes
Content-Length: 23733
Content-Type: application/x-dvi
Content-Encoding: x-gzip

Content-Type: application/x-dvi与实际内容相符,Content-Encoding: x-gzip表明文档以gzip.看起来我的 Firefox 自动为我解压缩了它,也许是因为我有gunzip可用的,或者也许 Firefox 内置了对此压缩的支持?

相关内容