Gzip

帶有 div.gz 副檔名的文件(錯誤?)

  • September 21, 2021

我嘗試從 Arxiv 下載一個壓縮文件夾( DVI 下的https://arxiv.org/format/math/0606086

但它下載為 div.gz。我知道這是 TeX 輸出。我嘗試了 TeX 和各種解壓縮應用程序,但它們都不起作用。我什至嘗試重命名它以防萬一出現錯誤。有什麼建議麼?如果這不是正確的地方,請隨時刪除。

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 內置了對這種壓縮的支持?

引用自:https://unix.stackexchange.com/questions/669907