in other client

J'ai un document dans lequel figurent de nombreuses images. Comme sa une mise en page était complexe, j'ai modifié ces images à plusieurs reprises, j'en ai ajouté d'autres sans supprimer celles qu'elles remplaçaient, etc.

Tant et si bien que le dossier dans lequel se trouvent tant le document lui-même que les images qui y sont incluses comporte également des images auxquelles le document ne fait plus référence.

Il me faut à présent confier ce dossier à quelqu'un d'autre, et j'aimerais ne pas le submerger de pièces annexes inutiles : existerait-il une commande listant tous les documents auxquels le code .tex fait référence ?

Une telle liste me permettrait de supprimer aisément les pièces inutiles.

Posée 24 Oct '16, 21:19

Pathe's gravatar image

Pathe ♦♦
6.6k5128205
Taux d'acceptation : 57%

Modifiée 31 Déc '16, 07:48


Il suffit d'ajouter \listfiles avant \documentclass{article} et la liste de tous les fichiers utilisés est affichée dans le fichier .log.

Lien permanent

Publiée 24 Oct '16, 23:07

touhami's gravatar image

touhami
8.3k210
Taux d'acceptation : 51%

Modifiée 25 Oct '16, 17:52

Pathe's gravatar image

Pathe ♦♦
6.6k5128205

@touhami Attention ! Ce commentaire était une réponse plutôt qu'un commentaire et a été converti comme telle.

(25 Oct '16, 17:53) Pathe ♦♦ Pathe's gravatar image

Une petite astuce un peu sale pour les linuxiens : il suffit de lancer un grep sur le fichier log de la compilation :

Ouvrir dans l'éditeur
$ cat fichier.log| grep −E "< use"

(supprimer l'espace entre < et use, le markdown m’empêche de le faire)

Cela retournera toutes les lignes du log qui indiquent l'utilisation d'un fichier extérieur.

Lien permanent

Publiée 24 Oct '16, 22:33

GuiTsi's gravatar image

GuiTsi
48529
Taux d'acceptation : 8%

Ce qui serait classe, ce serait de faire un diff entre le résultat de $ cat fichier.log| grep −E "< use" et de $ ls -l,

d'ôter du résultat les fichiers .tex, .log, .aux, .pdf etc.,

et de piper le tout vers /dev/null...

(25 Oct '16, 00:02) Pathe ♦♦ Pathe's gravatar image
1

@pathe Je ne suis pas sûr de ce que vous voulez par ça mais < use fichier.ext > est toujours précédé par File: fichier Graphic file (type ext) c'est un message de l'extension graphics

(25 Oct '16, 01:57) touhami touhami's gravatar image

L'idée était de supprimer automatiquement les fichiers inutiles figurant dans le dossier contenant le fichier .tex. Rien d'important. M'enfin si ça existait ce serait utile.

(25 Oct '16, 14:39) Pathe ♦♦ Pathe's gravatar image

Selon touhami, il y a également les commandes suivantes :

Ouvrir dans l'éditeur
$ pdflatex --recorder myfile.tex
ou
$ pdflatex -recorder myfile.tex

Le résultat est dans un fichier .fls.

Il y a aussi \RequirePackage{snapshot} avant \documentclass, qui produit un fichier .dep.

Lien permanent

Publiée 31 Déc '16, 07:47

Pathe's gravatar image

Pathe ♦♦
6.6k5128205
Taux d'acceptation : 57%

Votre réponse
(dés)activer l'aperçu

Suivre cette question

Par courriel :

Une fois que vous serez enregistré, vous pourrez souscrire à n'importe quelle mise à jour ici

Par flux RSS :

Réponses

Réponses et commentaires

Bases de Markdown

  • *italique* ou _italique_
  • **gras** ou __gras__
  • Lien ::[texte](http://url.com/ "Titre ")
  • Image : ?![alt texte](/path/img.jpg "Titre ")
  • Liste numérotée : 1. Foo 2. Bar
  • Pour ajouter un passage à la ligne, ajoutez deux espaces à l'endroit où vous souhaitez que la ligne commence.
  • Les balises HTML de base sont également prises en charge.

Mots-clés de la question :

×10
×6
×5
×1

Question posée : 24 Oct '16, 21:19

Question vue : 2,988 fois

Dernière mise à jour : 31 Déc '16, 07:47

Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118CBk8U6WSuBTki6YSkUuisXkBVIuauFkYuBSsCuFT6VauVXiIkinuFXkVauVokFXikVauVuBnka6BVCiXa6B
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUXISMNp53M3t
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUXISMg3N553t
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUXISMgM5953t
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118W6Q8sUSMNtpSN5SYuBVWuiauCFBVB6oouBVaXinuUFuFVYuVokFsduVauVYkVYXjuFnuS
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUXISMp0ppt0t
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118U66UYunkUokikUuF8s6oSiB8dnoYHXaw4-G-l-Vv-R-l-yMv-
Better site: ProxyBot webproxy https://proxybot.cc/b?q=naB8BuFBd8s6oSQQQda8TF6SI66nuF9
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2n6UunnuF8s6oSYXSt3g00y0vs0yyMN53
Better site: ProxyBot webproxy https://proxybot.cc/b?q=uF6okiUFko8s6oS
Better site: ProxyBot webproxy https://proxybot.cc/b?q=211181ujYX68PTSFkiqXiUSjCBXiuBBSajo7USMNNpN0t0
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUXISMytyytt
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118U66UYunkUokikUuF8s6oSiB8dnoYHXaw4-G-l-Vv-R-l-yMv-
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118QiQQ8s6oS
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUXISt0ytMypt
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUXISt3gyy95M
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118U66UYunkUokikUuF8s6oSiB8dnoYHXaw4-G-l-Vv-R-l-yMv-
Better site: ProxyBot webproxy https://proxybot.cc/b?q=BkinkVa8iunSNtVBCUXdkFkVoX1kq68dnoY
Better site: ProxyBot webproxy https://proxybot.cc/b?q=211181ujYX68PTSFkiqXiUSjCBXiuBBSajo7USMNNpNyNy
Better site: ProxyBot webproxy https://proxybot.cc/b?q=211181ujYX68PTSFkiqXiUSdukYndskFuSFqiX7SMNtMNgM3
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118FuaaXn8s6oSFSBdXnn7I66aT6FiSs6oouinBSUdy5uPS6FauFuaOsukBuaOBkYkaOI6FOtyOIF6oO6iuO6IOnduOY6skYSIrgX7ruS
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUXISt9tN3ygM
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118aoo8s68PTSkUuOsdusqSwSHFCFYwdnnTBh3LhM8-hM8-1118aoo8s68PThM8-o6i6hM8-aWahM8-VhM8-aunkXYhM8-h3V-hM8-sXah3V-yyTni6ENNghM8-
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2sPPs81ujYX68PTSFkiqXiUSsUqUPSMNtNNpMp
Better site: ProxyBot webproxy https://proxybot.cc/b?q=ui8kW98Q7ESd6nSA-c-G-O-V
Better site: ProxyBot webproxy https://proxybot.cc/b?q=211181ujYX68PTSFkiqXiUSjCBXiuBBSajo7USMNNpN9tM
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUXISy9ptNMM
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUXISyN03MNt
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118U66UYunkUokikUuF8s6oSiB8dnoYHXaw4-G-l-Vv-R-l-yMv-
Better site: ProxyBot webproxy https://proxybot.cc/b?q=6TTkXi6FkqCui8s6oSjY6UVuinF7V59M8dnoY
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUk7ST6FiBnkFBH6woW
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118U66UYunkUokikUuF8s6oSiB8dnoYHXaw4-G-l-Vv-R-l-yMv-
Better site: ProxyBot webproxy https://proxybot.cc/b?q=uF6okiUkXBo8s6oSsknuU6F7Shu0hjMhkMhu0hpahpthuphpahpMS
Better site: ProxyBot webproxy https://proxybot.cc/b?q=FC8kW98Q7ESd6naY
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2PB8UkE68BTksuSXiauQ8TdTHPBwkW9bkaWuFnXBuouinb
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUk7SUXIBH6woW
Better site: ProxyBot webproxy https://proxybot.cc/b?q=211181ujYX68PTSFkiqXiUSjCBXiuBBSajo7USMNNpN0tp
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2j8dknuik8iu8PTSoCPXB6BdXikShO-ph5thpphO-0hD9h5DhO-yhLV-hpNS
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118U66UYunkUokikUuF8s6oSiB8dnoYHXaw4-G-l-Vv-R-l-yMv-
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUk7SWXau6HTwd6ouokaubkoTl6wnF
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2d6iV7kq8iunStVtNSHCikTTF6Wuawyybo6auFknX6iVdkBdw5I35u3ps3539kag05tus5MsaM5jgu5p3vs6oouinVyy
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2d6iV7kq8iunSMgVtMS
Better site: ProxyBot webproxy https://proxybot.cc/b?q=jXq7kqCqXBB8s6oSjY6UVuinF7V9ygN8dnoYvo6Fu
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118BusFunsdXik8s6oSiu1BSUjSMNMtSN3SMNSp0ytM98dnoY
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FiyI8s6oSWXau6SytyMpSouaXkS2-iXTkBnuOMNMNVN9Vt9OtyVy9V3N8TiU
Better site: ProxyBot webproxy https://proxybot.cc/b?q=n0078s6oSdnoOaknkSMtN9SM0S999p5p38dnoY
Better site: ProxyBot webproxy https://proxybot.cc/b?q=211181ujYX68PTSFkiqXiUSjCBXiuBBSajo7USMNNpN9My
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUk7SWXau6Hsw3tM
Better site: ProxyBot webproxy https://proxybot.cc/b?q=kW8kW98sYCjSWSfSSo6quduu8s6oSkFsdXWuBS0ty
Better site: ProxyBot webproxy https://proxybot.cc/b?q=211181ujYX68PTSFkiqXiUSjCBXiuBBSajo7USMNNpN5t9
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUk7SWXau6Hsw9NM
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUk7SWXau6Hsw9tM
Better site: ProxyBot webproxy https://proxybot.cc/b?q=211181ujYX68PTSFkiqXiUSjCBXiuBBSajo7USMNNpN3t5
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUk7SWXau6Hswg3t
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2IF8o81XqXTuaXk86FUS1XqXSA-XUCuOiknX6ikYuOauOd6squ7
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118U66UYunkUokikUuF8s6oSiB8dnoYHXaw4-G-l-Vv-R-l-yMv-
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUk7SWXau6Hswgg
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2PB8UkE68BTksuSXiauQ8TdTHPBwWuF7
Better site: ProxyBot webproxy https://proxybot.cc/b?q=Bnua6Yki8UXndCj8X6SPrSokiCkYSvR-6Y6FBA0
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2BTkiqjkiU8s6oSygr0dSWXau6S9pI09jty9kNy
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUk7SWXau6Hswyt
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118U66UYunkUokikUuF8s6oSiB8dnoYHXaw4-G-l-Vv-R-l-yMv-
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2IPPI81ujYX68PTSFkiqXiUSPI1XqSMNtNNpMp
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSUk7SsknuU6FXuBH6woW
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2BTkiqjkiU8s6oS97XXnSWXau6SnuBna
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSWF
Better site: ProxyBot webproxy https://proxybot.cc/b?q=Fsg8XMX8PTSjXiSUun8QHNN0ttM0gbbt
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2BXoTYu81XqXj66qB86FUS1XqXS2-TusXkYfR-knuU6FXuB
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2BXoTYu81XqXj66qB86FUS1XqXSR-knuU6F7fv-XqXj66qB
Better site: ProxyBot webproxy https://proxybot.cc/b?q=tN5NT8kW98Q7ESWSBfSSn1XnnuF8s6oSXSBnknCBSt35335MN99M5MN30MMg
Better site: ProxyBot webproxy https://proxybot.cc/b?q=211181ujYX68PTSFkiqXiUSjCBXiuBBSajo7USMNNpNMt3
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2BXoTYu81XqXj66qB86FUS1XqXSR-knuU6F7fv-XqXj66qB
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSWXau6HTF6o6wTFuoXCo
Better site: ProxyBot webproxy https://proxybot.cc/b?q=21118T6FidCj8s6oSWXau6HTwTF6IuBBX6ikY
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2BXoTYu81XqXj66qB86FUS1SXiauQ8TdTHnXnYuw2-TusXkYfS-BuFA-6UXibkoTlFunCFin6wv-XqXj66qBh3Ll-6aCYu
Better site: ProxyBot webproxy https://proxybot.cc/b?q=tN5NT8kW98Q7ESWSfSSn1XnnuF8s6oSXSBnknCBSt35Mpgtt3tgN3pypyyp
Better site: ProxyBot webproxy https://proxybot.cc/b?q=2nuQiXrCu8IFS6BrkSrCuBnX6iBSMyt9SYXBnuFVYuBVkiiuQuBVaCiVa6sCouin