Gzip
帶有 div.gz 副檔名的文件(錯誤?)
我嘗試從 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 內置了對這種壓縮的支持?