主页 / unix / 问题 / 669907
Accepted
Thomas Kojar
Asked: 2021-09-21 19:09:05 +0800 CST

带有 div.gz 扩展名的文件（错误？）

  • 772

我尝试从 Arxiv 下载一个压缩文件夹（ DVI 下的https://arxiv.org/format/math/0606086）

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

gzip

1 个回答

  1. Best Answer

    该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 内置了对这种压缩的支持？

    • 3

相关问题