Ich habe kürzlich versucht, ArXiV-Artikel (in Mathematik und Physik) basierend auf dem von ArXiV bereitgestellten Quellcode neu zu kompilieren (da ich das Geometriepaket verwenden möchte, um die Größe der Artikel für einen E-Book-Reader anzupassen), aber ich hatte Probleme mit Artikeln mit enthaltenen Abbildungen und Bildern. In den meisten Artikeln, die ich gesehen habe, wie zum BeispielDieser Artikel, der Quellcode ist für meinen TeX-Editor (TeXworks) unbrauchbar, da ArXiV die Informationen der Bilder auf eine schwer zu verwendende Weise zu kodieren scheint. Gibt es eine Möglichkeit, dies zu umgehen und diese Artikel mitsamt den Bildern selbst neu zu kompilieren?
Antwort1
tl;dr
Die vom arXiv heruntergeladenen Quelldateien (überAndere Formate>Quelle herunterladen) haben keine Dateierweiterung und sind normalerweise entweder ein gzipptes Tar-Archiv .tar.gzoder eine einzelne gzippte Datei.
Versuchen Sie zunächst, .tar.gzdie heruntergeladene Datei ohne Erweiterung zu ergänzen und zu entpacken (mithilfe tarvon 7zip/PeaZip oder einer ähnlichen Software unter Windows).
Die Artikelquelle auf dem arXiv, erreichbar überAndere Formatein der Seitenleiste
und dannQuelle herunterladenunter demQuelleÜberschrift
führt in der Regel zu einer Dateiohnebeliebige Erweiterung. Im Beispiel heißt die heruntergeladene Datei einfach 0312480.
Wie auf der Download-Seite erklärt wird, kann diese Datei je nach Einreichung unterschiedliche Typen haben
Die Lieferung erfolgt als gzippte TAR-
.tar.gzDatei (), wenn mehrere Dateien vorhanden sind, andernfalls als PDF-Datei oder, je nach Übermittlungsformat, als gzippte TeX-, DVI-, PostScript- oder HTML-Datei (.gz,.dvi.gz,.ps.gzoder )..html.gz
In jedem Fall ist es äußerst unwahrscheinlich, dass die Datei direkt geöffnet werden kann. Die meisten Einsendungen scheinen heutzutage mehrere Dateien zu umfassen (vor allem, wenn Bilder beteiligt sind), daher sollten Sie die Erweiterung hinzufügen .tar.gz(im Beispiel würden wir 0312480sie in umbenennen 0312480.tar.gz) und versuchen, die Datei zu entpacken (mit tar -vxzf 0312480.tar.gzauf Unixoid-Systemen oder7zip/PeaZipoder ähnliche Software unter Windows) liefert normalerweise das richtige Ergebnis.
Tatsächlich 0312480.tar.gzbekomme ich beim Öffnen der umbenannten Datei mit PeaZip
