我有一个重要文件这里但我不知道如何提取它，以便在 WinEdt 9 中读取它。我有 Win 8.1。我应该下载并安装哪个文件（最好是签名的）来解压它？我应该给现在名为 1907.00284 的文件赋予什么文件扩展名？我需要一个以 .tex 结尾的纯文本文件。
答案1
将文件重命名1907.00284为1907.00284.tar.gz，然后使用您选择的解压缩工具，例如 7-zip 对于 Windows 来说非常好用
如果您安装了Linux子系统：
tar -xzvf 1907.00284.tar.gz