拡張子がdiv.gzのファイル(間違っていますか?)

拡張子がdiv.gzのファイル(間違っていますか?)

Arxivから圧縮フォルダをダウンロードしてみました(https://arxiv.org/format/math/0606086DVIから)

しかし、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文書がgzipgunzip

おすすめ記事